Title: Verification of fault-tolerant clock synchronization systems
Subjects: Fault-tolerant computing, Clock synchronization algorithm, Fault tolerance