Robust Fault-Tolerant Tracking Control for Spacecraft Proximity Operations Using Time-Varying Sliding Mode | IEEE Journals & Magazine | IEEE Xplore