A Baseline GPS RAIM Scheme and a Note on the Equivalence of Three RAIM Methods | Synapse