A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

G. Berry, The foundations of Esterel, Proof, Language and Interaction: Essay in Honor of Robin Milner, 2000.

F. Besson, T. Jensen, and J. Talpin, Polyhedral Analysis for Synchronous Languages, Proceedings of the 6th International Symposium on Static Analysis, volume 1694 LNCS, pp.51-68, 1999.
DOI : 10.1007/3-540-48294-6_4
URL : https://hal.archives-ouvertes.fr/hal-00544493

L. Besnard, T. Gautier, P. L. Guernic, and J. , Talpin: Compilation of polychronous data flow equations, Synthesis of Embedded Software, 2010.

A. Biere, M. Heule, H. Van-maaren, and T. Walsh, Handbook of satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications, 2009.

R. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.35677-691, 1986.
DOI : 10.1109/TC.1986.1676819

C. Barrett, S. Ranise, A. Stump, and C. Tinelli, The Satisfiability Modulo Theories Library (SMT-LIB), 2008.

F. Inria, The CompCert Project

F. Inria, The Coq Proof Assitant

B. Dutertre and L. De-moura, Yices sat-solver, 2009.

J. H. Gallier, Logic for computer science, 1987.

A. Gamatié, Designing embedded systems with the Signal programming language: Synchronous , Reactive Specification, 2009.
DOI : 10.1007/978-1-4419-0941-1

A. Gamatié and L. Gonnord, Static Analysis of Synchronous Programs in Signal for Efficient Design of Multi-Clocked Embedded Systems, ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems -LCTES'2011, 2011.

N. Halbwachs, A Synchronous Language at Work: The Story of Lustre, 3th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'05), 2005.
DOI : 10.1002/9781118459898.ch2
URL : https://hal.archives-ouvertes.fr/hal-00190883

M. Huth and M. Ryan, Logic in computer science: Modelling and Reasoning about systems, 2004.
DOI : 10.1017/CBO9780511810275

P. , L. Guernic, and T. Gautier, Advanced topics in data-flow computing, chapter data-flow to von Neumann: the Signal approach, pp.413-438, 1991.

P. , L. Guernic, J. Talpin, and J. Lann, Polychrony for system design, Journal for Circuits Systems and Computers, vol.12, issue.3, pp.261-304, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00730480

L. De-moura and N. Bjorner, Satisfiability Modulo Theories: An Appetizer, Brazilian Symposium on Formal Methods (SBMF'2009), 2009.
DOI : 10.1007/978-3-642-10452-7_3

V. C. Ngo, J. Talpin, T. Gautier, P. L. Guernic, and L. Besnard, Formal Verification of Compiler Transformations on Polychronous Equations, Proceedings of IFM'12, pp.113-127, 2012.
DOI : 10.1007/978-3-642-30729-4_9
URL : https://hal.archives-ouvertes.fr/hal-00730393

A. Pnueli, M. Siegel, and E. Singerman, Translation validation, 4th Intl. Conf. TACAS'98. LNCS 1384, pp.151-166, 1998.
DOI : 10.1007/BFb0054170

A. Pnueli, O. Shtrichman, and M. Siegel, Translation Validation: From SIGNAL to C, Correct Sytem Design Recent Insights and Advances. LNCS 1710, pp.231-255, 2000.
DOI : 10.1007/3-540-48092-7_11

J. Tristan, P. Govereau, and G. Morrisett, Evaluating value-graph translation validation for LLVM, ACM SIGPLAN Conference on Programming and Language Design Implementation . California, 2011.