"Mechanical Verification of Clock Synchronization Algorithms."

Detlef Schwier, Friedrich W. von Henke (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics