K. Schossmaier, U. Schmid, M. Horauer, D. Loy: "Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU)"; Real-Time Systems, 12 (1997), 295 - 327.
http://www.auto.tuwien.ac.at/Projects/SynUTC/papers.html