M. K. Aguilera, C. Delporte-gallet, H. Fauconnier, and S. Toueg, Communication-efficient leader election and consensus with limited link synchrony, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing , PODC '04, pp.328-337, 2004.
DOI : 10.1145/1011767.1011816

URL : https://hal.archives-ouvertes.fr/hal-00154865

H. Attiya, C. Dwork, N. Lynch, and L. Stockmeyer, Bounds on the time to reach agreement in the presence of timing uncertainty, Journal of the ACM, vol.41, issue.1, pp.122-152, 1994.
DOI : 10.1145/174644.174649

I. Ben-zvi and Y. Moses, Beyond Lamport's happened-before: On time bounds and the ordering of events in distributed systems, DISC, pp.421-436, 2010.

J. Bertrane, Static analysis of communicating imperfectly-clocked synchronous systems using continuous-time abstract domains, 2008.

S. Bhattacharyya, S. Miller, J. Yang, S. Smolka, B. Meng et al., Verification of quasi-synchronous systems with Uppaal, DASC, 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, pp.80-96, 2001.
DOI : 10.1007/3-540-45449-7_7

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.1039

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

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems, POPL, pp.180-193, 2006.

F. Cristian, Synchronous and asynchronous group communication (long version) CACM, 1996.
DOI : 10.1007/978-1-4615-5449-3_1

A. Desai, S. A. Seshia, S. Qadeer, D. Broman, and J. C. Eidson, Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems, CAV, pp.429-448, 2015.
DOI : 10.1007/978-3-319-21668-3_25

C. Dwork, N. Lynch, and L. Stockmeyer, Consensus in the presence of partial synchrony, Journal of the ACM, vol.35, issue.2, pp.288-323, 1988.
DOI : 10.1145/42282.42283

C. Fetzer, U. Schmid, and M. Süßkraut, On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times, 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05), pp.271-280, 2005.
DOI : 10.1109/ICDCS.2005.57

M. J. Fischer, N. A. Lynch, and M. S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985.
DOI : 10.1145/3149.214121

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

G. Hagen and C. Tinelli, Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques, 2008 Formal Methods in Computer-Aided Design, pp.1-159, 2008.
DOI : 10.1109/FMCAD.2008.ECP.19

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5059

N. Halbwachs, F. Lagnier, and C. , Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992.
DOI : 10.1109/32.159839

N. Halbwachs and L. Mandel, Simulation and Verification of Asynchronous Systems by means of a Synchronous Model, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), pp.3-14, 2006.
DOI : 10.1109/ACSD.2006.24

URL : https://hal.archives-ouvertes.fr/hal-00189567

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

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.
DOI : 10.1109/isorc.1998.666765

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

R. Larrieu and N. Shankar, A framework for high-assurance quasi-synchronous systems, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.72-83, 2014.
DOI : 10.1109/MEMCOD.2014.6961845

W. Li, L. Gérard, and N. Shankar, Design and verification of multi-rate distributed systems, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.20-29, 2015.
DOI : 10.1109/MEMCOD.2015.7340463

N. A. Lynch, Distributed Algorithms, 1996.

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

S. Miller, S. Bhattacharyya, C. Tinelli, S. Smolka, C. Sticksel et al., Formal verification of quasi-synchronous systems, 2015.

P. Raymond, Recognizing regular expressions by means of dataflow networks, ICALP, pp.336-347, 1996.
DOI : 10.1007/3-540-61440-0_140

URL : https://hal.archives-ouvertes.fr/hal-00384443

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

P. Robinson and U. Schmid, The Asynchronous Bounded-Cycle model, Theoretical Computer Science, vol.412, issue.40, pp.5580-5601, 2011.
DOI : 10.1016/j.tcs.2010.08.001

G. Smeding and G. Goessler, A correlation preserving performance analysis for stream processing systems, Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012), pp.11-20, 2012.
DOI : 10.1109/MEMCOD.2012.6292295

URL : https://hal.archives-ouvertes.fr/hal-00745819

J. Widder and U. Schmid, The Theta-Model: achieving synchrony without clocks, Distributed Computing, vol.20, issue.2, pp.29-47, 2009.
DOI : 10.1007/s00446-009-0080-x