Kalman filter–based RAIM for GNSS receivers | IEEE Journals & Magazine | IEEE Xplore