Kalman Filter-Based Robust Closed-Loop Carrier Tracking of Airborne GNSS Radio-Occultation Signals | IEEE Journals & Magazine | IEEE Xplore