Modeling the Effects of Ionospheric Scintillation on GPS Carrier Phase Tracking | IEEE Journals & Magazine | IEEE Xplore