Galileo's timekeeping infrastructure: where do we go with the external time service provider? | IEEE Conference Publication | IEEE Xplore