Nonlinear observer and output feedback attitude control of spacecraft | IEEE Journals & Magazine | IEEE Xplore