K. Schoßmaier: "UTCSU - An ASIC to Support Clock Synchronization for Distributed Real-Time Systems (Dagstuhl-Seminar Report 138 "Time Services")"; 1996.