Modeling and analysis for the GPS pseudo-range observable | IEEE Journals & Magazine | IEEE Xplore