Before revision: AUGUR: the Eurocontrol GPS RAIM prediction tool powered by SPACEKEYS .
After revision: ()AUGUR: the Eurocontrol GPS RAIM prediction tool powered by SPACEKEYS .