A framework of model checking guided test vector generation for the 6DOF manipulator | IEEE Conference Publication | IEEE Xplore