Saturation Backstepping Controller for Spacecraft Attitude Agile Maneuvering | IEEE Conference Publication | IEEE Xplore