D. Barsotti, Instances of schneider's generalized protocol of clock synchronization. Available on the web, 2005.

L. A. Dennis, G. Collins, R. Boulton, K. Slind, G. Robinson et al., The PROSPER toolkit, Proceedings of TACAS'03, number 1785 in LNCS, pp.78-92, 2003.

F. Consortium, FlexRay Communications System Protocol Specification Version 2, 2004.

E. Gafni and L. Lamport, Disk paxos, DISC '00: Proceedings of the 14th International Conference on Distributed Computing, pp.330-344, 2000.

L. Lamport and P. M. Melliar-smith, Synchronizing clocks in the presence of faults, Journal of the ACM, vol.32, issue.1, pp.52-78, 1985.
DOI : 10.1145/2455.2457

J. Lundelius and N. Lynch, A new fault-tolerant algorithm for clock synchronization, Proceedings of the third annual ACM symposium on Principles of distributed computing , PODC '84, pp.75-88, 1984.
DOI : 10.1145/800222.806738

P. S. Miner, Verification of fault-tolerant clock synchronization systems, NASA Technical Paper, vol.3349, 1993.

L. Moreau and J. Duprat, A construction of distributed reference counting, Acta Informatica, vol.37, issue.8, pp.563-595, 2001.
DOI : 10.1007/PL00013315

S. Ranise and C. Tinelli, The SMT-LIB standard : Version 1, 2005.

F. B. Schneider, Understanding protocols for Byzantine clock synchronization, 1987.

D. Schwier and F. Von-henke, Mechanical verification of clock synchronization algorithms, Formal Techniques in Real-Time and Fault-Tolerant Systems, number 1486 in LNCS, pp.262-271, 1998.
DOI : 10.1007/BFb0055353

N. Shankar, Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization, Lecture Notes in Computer Science, vol.571, pp.217-236, 1992.
DOI : 10.1007/3-540-55092-5_12

J. H. Siekmann, C. Benzmüller, V. Brezhnev, L. Cheikhrouhou, A. Fiedler et al., Proof development with omega, CADE, pp.144-149, 2002.

G. Sutcliffe and C. Suttner, The TPTP problem library, Journal of Automated Reasoning, vol.21, issue.2, pp.177-203, 1998.
DOI : 10.1007/3-540-58156-1_18

B. Tavernier, Calife: A Generic Graphical User Interface for Automata Tools, Electronic Notes in Theoretical Computer Science, vol.110, pp.169-172, 2004.
DOI : 10.1016/j.entcs.2004.06.004

A. Tiu, A formalization of a generalized clock synchronization protocol in Isabelle, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00102104