Research on RAIM Algorithm under the Assumption of Simultaneous Multiple Satellites Failure