Detection of Bias in GPS Satellites' Measurements: A Probability Ratio Test Formulation | IEEE Journals & Magazine | IEEE Xplore