Title: A survey of provably correct fault-tolerant clock synchronization techniques
Subjects: Algorithms