Hardware-in-the-Loop Simulation for Satellite System Verification