Equivalence Proof and Performance Analysis of Weighted Least Squares Residual Method and Weighted Parity Vector Method in RAIM | IEEE Journals & Magazine | IEEE Xplore