Digital Satellite Navigation and Geophysics : A practical guide with gnss Signal simulator and receiver laboratory - Petrovski, Ivan G (Cambridge University Press, 2012)