A nonlinear observer for GPS and INS integration | IEEE Conference Publication | IEEE Xplore