The Ranger robotic satellite servicer and its autonomous software-based safety system | IEEE Journals & Magazine | IEEE Xplore