A GPS Receiver for High-Altitude Satellite Navigation | IEEE Journals & Magazine | IEEE Xplore