Satellite-based Navigation and Timing : Engineering Systems, Signals, and Receivers. (Ieee, 2015)