RAIM with Optimal Integrity and Continuity Allocations Under Multiple Failures | Synapse