Space-based augmentation for global navigation satellite systems | IEEE Journals & Magazine | IEEE Xplore