Sliding-mode controller design for spacecraft attitude tracking maneuvers | IEEE Journals & Magazine | IEEE Xplore