Exact nonlinear control of large angle rotational maneuvers | IEEE Journals & Magazine | IEEE Xplore