Quaternion Based Sliding Mode Attitude Controller for a Spacecraft with Control Moment Gyros | IEEE Conference Publication | IEEE Xplore