Research on RAIM Algorithm under the Assumption of Simultaneous Multiple Satellites Failure | IEEE Conference Publication | IEEE Xplore