P. Cederholm and D. Plausinaitis, “Cycle Slip Detection in Single Frequency GPS Carrier observations using expected Doppler shift”, NJSR, vol. 10, no. 1, Apr. 2014.