GPS time transfer using carrier-phase and P-code measurements | IET Conference Publication | IEEE Xplore