Text this: Verification of fault-tolerant clock synchronization systems / Paul S. Miner.