A class of time-optimal velocity control laws for a spinning space vehicle | IEEE Journals & Magazine | IEEE Xplore