A protocol for loosely time-triggered architectures, EMSOFT'02, pp.252-265, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00526261
Verification of quasi-synchronous systems with Uppaal, DASC'14, pp.8-12, 2014. ,
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach, 2000. ,
DOI : 10.1007/3-540-45416-0_21
Embedded Control: From Asynchrony to Synchrony and Back, EMSOFT'01, pp.80-96, 2001. ,
DOI : 10.1007/3-540-45449-7_7
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
Scade suite. http://www. esterel-technologies.com/products/scade-suite ,
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
The synchronous dataflow programming language Lustre, Proc. IEEE, pp.1305-1320, 1991. ,
Simulation and verification of aysnchronous systems by means of a synchronous model, ACSD'06, pp.3-14, 2006. ,
Synchronous modeling and validation of schedulers dealing with shared resources, 2000. ,
Real-time systems: design principles for distributed embedded applications, 2011. ,
The time-triggered architecture, Proc. IEEE, pp.112-126, 2003. ,
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
Virtual time and global states of distributed systems, Parallel and Distributed Algorithms, vol.1, issue.23, pp.215-226, 1989. ,
Isabelle/HOL: A Proof Assistant for Higher-Order Logic, LNCS, vol.2283, 2002. ,
DOI : 10.1007/3-540-45949-9
Logical time: capturing causality in distributed systems, Computer, vol.29, issue.2, pp.49-56, 1996. ,
DOI : 10.1109/2.485846