Design of a precision pointing control system for the space infrared telescope facility | IEEE Journals & Magazine | IEEE Xplore