Frequency syntonization using GPS carrier phase measurements | IEEE Journals & Magazine | IEEE Xplore