Galileo timing applications and ACTS prototyping | IEEE Conference Publication | IEEE Xplore