Hardware-in-the-loop simulation for contact dynamics in space | IEEE Conference Publication | IEEE Xplore