Navigation Observer Design Using Vector Measurements and a GPS Sensor | IEEE Journals & Magazine | IEEE Xplore