Time comparisons between USNO and PTB: a model for the determination of the time offset between GPS time and the future Galileo system time | IEEE Conference Publication | IEEE Xplore