Towards an all-digital time scale

Created July 31, 2011, Updated February 19, 2017