Formulation of a time-varying maximum allowable error for ground-based augmentation systems | IEEE Journals & Magazine | IEEE Xplore