Nonlinear Asymptotic Attitude Estimation Using Double GPS Receivers and Gyro | IEEE Journals & Magazine | IEEE Xplore