FLITESIM: A Comprehensive Verification and Validation Environment for Small Satellite Attitude Determination and Control Systems | IEEE Journals & Magazine | IEEE Xplore