Modeling the effects of ionospheric scintillation on GPS/satellite-based augmentation system availability | AGU Journals & Magazine | IEEE Xplore