A GPS carrier-phase aided clock transport for the calibration of a regional distributed time scale | IEEE Conference Publication | IEEE Xplore