Navigation Signal Processing for GNSS Software Receivers - Pany (IEEE, 2010)