Quaternion-Based Fault-Tolerant Control Design for Spacecraft Attitude Stabilization: An Anti-Saturation Method | IEEE Conference Publication | IEEE Xplore