Advanced RAIM algorithms for safe navigation based on the constrained GLR test | IEEE Conference Publication | IEEE Xplore