Finite-time fault-tolerant attitude stabilization for spacecraft with actuator saturation | IEEE Journals & Magazine | IEEE Xplore