Bayesian fault detection, identification, and adaptation for GNSS applications | IEEE Journals & Magazine | IEEE Xplore