Introduction to GPS: The Global Positioning System, Second Edition | Artech books | IEEE Xplore