Springer handbook of global navigation satellite systems - Teunissen, Peter J. G., 1957- (Springer, 2017)