Global ARAIM for Dual Constellation - Design, Development and Experimentation | IEEE Conference Publication | IEEE Xplore