Performance results of the Galileo Precise Timing Facility | IEEE Conference Publication | IEEE Xplore