A hardware-in-the-loop testbed for spacecraft formation flying applications | IEEE Conference Publication | IEEE Xplore