Trajectory optimisation for avionics-based GNSS integrity augmentation system | IEEE Conference Publication | IEEE Xplore