B. Parkinson and J. Spilker, Global Positioning System: Theory and Applications, 1996.