Digital estimation of GPS synchronization in real time. - Swasdee, Manot (1981)