Danny Dolev Joseph Y. Halpern Barbara Simons H. Raymond Strong Dynamic Fault-Tolerant Clock Synchronization. 143-185 1995 42 J. ACM 1 db/journals/jacm/jacm42.html#DolevHSS95 http://doi.acm.org/10.1145/200836.200870