Design of the Galileo Precise Time Facility (PTF) | IET Conference Publication | IEEE Xplore