Analysis of a Nonlinear Least Squares Procedure Used in Global Positioning Systems | IEEE Journals & Magazine | IEEE Xplore