Joseph Y. Halpern Barbara Simons H. Raymond Strong Danny Dolev Fault-Tolerant Clock Synchronization. 89-102 1984 PODC db/conf/podc/podc84.html#HalpernSSD84