Generating a real-time time scale making full use of the available frequency standards