Springer Handbook of Global Navigation Satellite Systems - Teunissen, Peter (Springer International Publishing, 2017)