An Approach for Verification of a Satellite Simulator - An Evolving System | IEEE Conference Publication | IEEE Xplore