Springer Handbook of Global Navigation Satellite Systems - Teunissen, Peter J. G. 1957-; Montenbruck, Oliver 1961- (Springer, 2017)