Finite-time attitude control of spacecraft | IEEE Conference Publication | IEEE Xplore