Verification of control moment gyroscopes based attitude control systems for agile satellite missions | IEEE Conference Publication | IEEE Xplore