Adaptive finite time control for spacecraft attitude maneuver based on second-order terminal sliding mode. (June 2017)