Fast Protection Levels for Fault Detection With an Application to Advanced RAIM | IEEE Journals & Magazine | IEEE Xplore