Generating a real-time time scale making full use of the available frequency standards. (22nd October 2020)