Backstepping based finite-time control for the spacecraft attitude tracking control with uncertainties | IEEE Conference Publication | IEEE Xplore