A New Method to Bound the Integrity Risk for Residual-Based ARAIM | IEEE Journals & Magazine | IEEE Xplore