W. Ackerman, Solvable cases of the Decision Problem. Study in Logic and the Foundations of Mathematics, 1954.

G. Alefeld and J. Hertzberger, Introduction to Interval Computation, 1983.

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Processing of the IEEE, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

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

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

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

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

A. Gamatié, Designing Embedded Systems with The Signal Programming Language: Synchronous, Reactive Specification, 2009.
DOI : 10.1007/978-1-4419-0941-1

A. Gamatié, T. Gautier, P. L. Guernic, and J. Talpin, Polychronous design of embedded real-time applications, ACM Transactions on Software Engineering and Methodology, vol.16, issue.2, 2005.
DOI : 10.1145/1217295.1217298

P. Feautrier, A. Gamatié, and L. Gonnord, Enhancing the Compilation of Synchronous Data-flow Programs with Combined Numerical-Boolean Abstraction, In CSI Journal of Computing, vol.1, issue.4, pp.86-99, 2012.

L. Gonnord and N. Halbwachs, Abstract Acceleration to Improve Precision on Linear Relation Analysis, Research Report, 2010.

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
URL : https://hal.archives-ouvertes.fr/hal-00730480

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

D. Johnson, Finding All the Elementary Circuits of a Directed Graph, SIAM Journal on Computing, vol.4, issue.1, 1975.
DOI : 10.1137/0204007

B. Jose, A. Gamatié, J. Ouy, and S. Shukla, SMT based false causal loop detection during code synthesis from Polychronous specifications, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011), 2011.
DOI : 10.1109/MEMCOD.2011.5970517
URL : https://hal.archives-ouvertes.fr/inria-00637574

G. Lalire, M. Argoud, and B. Jeannet, Interproc: An Interprocedural Analyzer for Imperative Languages, 2009.

O. Maffe¨?smaffe¨?s and P. L. Guernic, Distributed Implementation of Signal: Scheduling and Graph clustering. Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol.863, 1994.

M. Nanjundappa, M. Kracht, J. Ouy, and S. Shukla, Synthesizing Embedded Software with Safety Wrappers through Polyhedral Analysis in a Polychronous Framework Electronic System Level Synthesis Conference, 2012.

V. C. Ngo, J. Talpin, T. Gautier, P. L. Guernic, and L. Besnard, Formal verification of synchronous data-flow program transformations toward certified compilers, Frontiers of Computer Science, vol.7321, issue.7, 2013.
DOI : 10.1007/s11704-013-3910-8
URL : https://hal.archives-ouvertes.fr/hal-00846279