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