Springer Handbook of Global Navigation Satellite Systems - Teunissen, Peter J.G. (Springer International Publishing,)