Time transfer using multi-channel GPS receivers | IEEE Journals & Magazine | IEEE Xplore