Verification of fault-tolerant clock synchronization systems. M.S. Thesis - College of William and Mary, 1992