Development, comparison, and preliminary experimental validation of nonlinear dynamic thruster models | IEEE Journals & Magazine | IEEE Xplore