Vector loop RAIM in nominal and GNSS-stressed environments | IEEE Journals & Magazine | IEEE Xplore