Quaternion-based Discrete-time Nonlinear Attitude Tracking Control of Spacecraft | IEEE Conference Publication | IEEE Xplore