Damian Barsotti, Leonor Prensa Nieto, Alwen Tiu. Verification of Clock Synchronization Algorithms: Experiments on a combination of deductive tools.
Formal Aspects of Computing, Springer Verlag, 2007, 19 (3), pp.321-341.
⟨10.1007/s00165-007-0027-6⟩.
⟨inria-00097383⟩