Finite-time attitude tracking control for spacecraft based on backstepping method with input saturation - Yanmin Ren; Aijia Xing (PLoS ONE)