S. Talpin and . Tripakis, A protocol for loosely time-triggered architectures, EMSOFT'02, pp.252-265, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00526261

S. Bhattacharyya, S. Miller, J. Yang, S. Smolka, B. Meng et al., Verification of quasi-synchronous systems with Uppaal, DASC'14, pp.8-12, 2014.

P. Caspi, About the Design of Distributed Control Systems: The Quasi-Synchronous Approach, 2000.
DOI : 10.1007/3-540-45416-0_21

P. Caspi, Embedded Control: From Asynchrony to Synchrony and Back, EMSOFT'01, pp.80-96, 2001.
DOI : 10.1007/3-540-45449-7_7

P. Caspi, C. Mazuet, and N. R. Paligot, About the Design of Distributed Control Systems: The Quasi-Synchronous Approach, SAFECOMP'01, pp.215-226, 2001.
DOI : 10.1007/3-540-45416-0_21

E. Technologies, Scade suite. http://www. esterel-technologies.com/products/scade-suite

M. J. Fischer and A. Michael, Sacrificing serializability to attain high availability of data in an unreliable network, Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems , PODS '82, pp.70-75, 1982.
DOI : 10.1145/588111.588124

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language Lustre, Proc. IEEE, pp.1305-1320, 1991.

N. Halbwachs and L. Mandel, Simulation and verification of aysnchronous systems by means of a synchronous model, ACSD'06, pp.3-14, 2006.

E. Jahier, N. Halbwachs, and P. Raymond, Synchronous modeling and validation of schedulers dealing with shared resources, 2000.

H. Kopetz, Real-time systems: design principles for distributed embedded applications, 2011.

H. Kopetz and G. Bauer, The time-triggered architecture, Proc. IEEE, pp.112-126, 2003.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

F. Mattern, Virtual time and global states of distributed systems, Parallel and Distributed Algorithms, vol.1, issue.23, pp.215-226, 1989.

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL: A Proof Assistant for Higher-Order Logic, LNCS, vol.2283, 2002.
DOI : 10.1007/3-540-45949-9

M. Raynal and M. Singhal, Logical time: capturing causality in distributed systems, Computer, vol.29, issue.2, pp.49-56, 1996.
DOI : 10.1109/2.485846