Hardware-in-the-Loop Simulation for Satellite System Verification | IEEE Conference Publication | IEEE Xplore