Simulator for Functional Verification and Validation of a Nanosatellite | IEEE Conference Publication | IEEE Xplore