A ground based augmentation service for gate-to-gate operations | IEEE Conference Publication | IEEE Xplore