Rotational motion control of a spacecraft | IEEE Journals & Magazine | IEEE Xplore