Verification of reaction wheel functional model in HIL test-bed | IEEE Conference Publication | IEEE Xplore