Implementation and Operational Use of Ground-Based Augmentation Systems (GBASs)—A Component of the Future Air Traffic Management System | IEEE Journals & Magazine | IEEE Xplore