J. Aguado, M. Mendler, R. Von-hanxleden, and I. Fuhrmann, Grounding Synchronous Deterministic Concurrency in Sequential Programming, European Symposium on Programming, 2014.
DOI : 10.1007/978-3-642-54833-8_13

P. Amagbegnon, L. Besnard, and P. L. Guernic, Implementation of the data-flow synchronous language SIGNAL". Conference on Programming Language Design and Implementation, 1995.
URL : https://hal.archives-ouvertes.fr/hal-00544128

A. Benveniste, P. Le-guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, 1991.
DOI : 10.1016/0167-6423(91)90001-E

A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, and M. Pouzet, A type-based analysis of causality loops in hybrid systems modelers, Proceedings of the 17th international conference on Hybrid systems: computation and control, HSCC '14, 2014.
DOI : 10.1145/2562059.2562125
URL : https://hal.archives-ouvertes.fr/hal-00938866

F. Besson, T. Jensen, and J. Talpin, Polyhedral analysis for synchronous languages". Symposium on Static Analysis, 1999.
DOI : 10.1007/3-540-48294-6_4
URL : https://hal.archives-ouvertes.fr/hal-00544493

A. Bouakaz and J. Talpin, Buffer minimization in earliest-deadline first scheduling of dataflow graphs, Conference on Languages, Compilers and Tools for Embedded Systems, 2013.
DOI : 10.1145/2499369.2465558
URL : https://hal.archives-ouvertes.fr/hal-00916485

L. P. Carloni, K. L. Mcmillan, and A. L. Sangiovanni-vincentelli, Theory of Latency-Insensitive Design". Transactions on Computer-Aided Design of Integrated Circuits and Systems, p.20, 2001.

J. Colaco, A. Girault, G. Hamon, and M. Pouzet, Towards a higher-order synchronous data-flow language, Proceedings of the fourth ACM international conference on Embedded software , EMSOFT '04, 2004.
DOI : 10.1145/1017753.1017792

P. Feautrier, A. Gamatie, and L. Gonnord, Enhancing the compilation of synchronous data-flow programs with a combined numericalboolean abstraction, Journal of Computing. Computer Society of India, 2012.

. Grame, Faust, quick path from ideas to efficient DSP

J. Forget, F. Boniol, D. Lesens, and C. Pagetti, A real-time architecture design language for multi-rate embedded control systems, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, 2010.
DOI : 10.1145/1774088.1774196
URL : https://hal.archives-ouvertes.fr/hal-00688490

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proc. of the IEEE, p.79, 1991.
DOI : 10.1109/5.97300

G. Kahn, The semantics of a simple language for parallel programming, Proceedings of the IFIP Congress on Information Processing. IFIP, 1974.

E. A. Lee and D. G. Messerschmitt, Synchronous data flow, Proceedings of the IEEE v.75, 1987.
DOI : 10.1109/PROC.1987.13876

L. Guernic, P. Talpin, J. Le-lann, and J. , POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, 2003.
DOI : 10.1142/S0218126603000763
URL : https://hal.archives-ouvertes.fr/hal-00730480

R. Von-hanxleden, SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications". Conference on Programming Language Design and Implementation, 2014.

J. Kloos, R. Majumdar, and V. Vafeiadis, Asynchronous Liquid Separation Types, European Conf. on Object-Oriented Programming. LIPICS, 2015.

O. Maffeis and P. L. Guernic, Distributed Implementation of Signal: Scheduling and Graph Clustering". Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS v. 863, 1994.

L. Mandel, F. Plateau, and M. Pouzet, Static Scheduling of Latency Insensitive Designs with Lucy-n, International Conference on Formal Methods in Computer-Aided Design, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00654843

S. Marlow, R. Newton, P. Jones, and S. , A monad for deterministic parallelism, ACM SIGPLAN Notices v. 46, p.12, 2011.

S. Merz and H. Vanzetto, Refinement Types for tla ???+???, NASA Symposium on Formal Methods, 2014.
DOI : 10.1007/978-3-319-06200-6_11
URL : https://hal.archives-ouvertes.fr/hal-01063516

L. De-moura and N. Bjorner, Z3: An efficient SMT solver International conference on Tools and algorithms for the construction and analysis of systems, 2008.

M. Nanjundappa, M. Kracht, J. Ouy, and S. Shukla, Synthesising embedded software with safety wrappers through polyhedral analysis in a polychronous framework, Electronic System Level Synthesis Conference, 2012.

G. Nelson, Techniques for program verification, 1981.

C. Ngo, J. Talpin, and T. Gautier, Efficient deadlock detection for polychronous data-flow specifications". Electronic System Level Synthesis Conference, 2014.
DOI : 10.1109/eslsyn.2014.6850379
URL : https://hal.inria.fr/hal-01086843/file/ESLSYN14.pdf

D. Potop-butucaru, Y. Sorel, R. De-simone, and J. Talpin, From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations, 2009 Ninth International Conference on Application of Concurrency to System Design, 2011.
DOI : 10.1109/ACSD.2009.23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.2867

M. Pouzet and P. Raymond, Modular Static Scheduling of Synchronous Data-flow Networks ? An efficient symbolic representation, International Conference on Embedded Software, 2009.

A. Pnueli, M. Siegel, and E. Singerman, Translation validation, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1998.
DOI : 10.1007/BFb0054170

I. Smarandache, T. Gautier, and P. L. Guernic, Validation of mixed signal-alpha real-time systems through affine calculus on clock synchronisation constraints, World Congress on Formal Methods in the Development of Computing Systems, 1999.
DOI : 10.1007/3-540-48118-4_22
URL : https://hal.archives-ouvertes.fr/hal-00548887

J. Talpin and D. Nowak, A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems". Foundations of Software Technology and Theoretical Computer Science, 1998.

J. Talpin, J. Brandt, M. Gemünde, K. Schneider, and S. Shukla, Constructive Polychronous Systems, Science of Computer Programming, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00763371

S. The and . Project, SMT-Lib, the satisfaction-modulo theories library

S. Tripakis, D. Bui, M. Geilen, B. Rodiers, and E. A. Lee, Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs, Transactions on Embedded Computing Systems, 2015.

N. Vazou, P. M. Rondon, and R. Jhala, Abstract Refinement Types, European conference on Programming Languages and Systems, 2013.
DOI : 10.1007/978-3-642-37036-6_13

N. Vazou, E. L. Seidel, R. Jhala, D. Vytiniotis, S. Peyton et al., Refinement Types For Haskell, SIGPLAN International Conference on Functional Programming, 2014.