Verification of Fault-Tolerant Clock Synchronization Algorithms. - Bogomolov, Sergiy; Herrera, Christian; Steiner, Wilfried (2016)