An Extremum Approximation ARAIM Algorithm Based on GPS and BDS | IEEE Journals & Magazine | IEEE Xplore