Non-singular terminal sliding mode controller for spacecraft attitude stabilization | IEEE Conference Publication | IEEE Xplore