A Relative Dynamics Formulation for Hardware- in-the-Loop Simulation of On-Orbit Robotic Missions | IEEE Journals & Magazine | IEEE Xplore