^NEW^ Global Positioning System: Signals, Measurements, And Performance (Revised Secon 2021.06.16 11:09