EUROCONTROL's predictive RAIM tool for en-route aircraft navigation | IEEE Conference Publication | IEEE Xplore