Discrete-time nonlinear attitude tracking control of spacecraft | IEEE Conference Publication | IEEE Xplore