D. Barsotti, L. Nieto, and A. Tiu, Verification of Clock Synchronization Algorithms: Experiments on a combination of deductive tools, Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, pp.145-63, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00097383

F. Consortium, FlexRay Communication System -Protocol Specification -Version 2, 2005.

F. Consortium, Preliminary Node-Local Bus Guardian Specification -Version 2.0, 2005.

P. Fontaine, J. Marion, S. Merz, L. Nieto, and A. Tiu, Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), pp.167-181, 2006.
DOI : 10.1007/3-540-45620-1_26

URL : https://hal.archives-ouvertes.fr/inria-00001088

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 Langley Technical Report Server, 1993.

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL ? A Proof Assistant for Higher-Order Logic, LNCS 2283, 2002.

F. B. Schneider, Understanding Protocols for Byzantine Clock Synchronization, 1987.

N. Shankar, Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization, Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.217-236, 1992.
DOI : 10.1007/3-540-55092-5_12