Time metrology in the Galileo navigation system: The experience of the Italian National Metrology Institute | IEEE Conference Publication | IEEE Xplore