Introduction to GPS: The Global Positioning System, Second Edition - El-Rabbany (IEEE, 2006)