Effects of ionospheric scintillation on differential demodulation of GPS data | IEEE Journals & Magazine | IEEE Xplore