Springer handbook of global navigation satellite systems - Teunissen, P. J. G.; Montenbruck, Oliver 1961- (Springer International Publishing, 2017)