Nonlinear filtering algorithms for GPS using pseudorange and Doppler shift measurements | IEEE Conference Publication | IEEE Xplore