EGNOS and GALILEO for Timing and Synchronisation