Time metrology in Global Navigation Satellite Systems. - Valerio Formichella (2018)