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

L. Borgne, M. Benveniste, A. , L. Guernic, and P. , Dynamical systems over Galois fields and DEDS control problems, [1991] Proceedings of the 30th IEEE Conference on Decision and Control, pp.1505-1509, 1991.
DOI : 10.1109/CDC.1991.261653

L. Besnard, T. Gautier, L. Guernic, P. Talpin, and J. , Compilation of Polychronous Data Flow Equations, Synthesis of Embedded Software, 2010.
DOI : 10.1007/978-1-4419-6400-7_1
URL : https://hal.archives-ouvertes.fr/inria-00540493

L. Besnard, T. Gautier, M. Moy, J. Talpin, K. Johnson et al., Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form, Proceedings of the 9th Workshop on Automated Verification of Critical Systems, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00400272

B. Dutertre, L. Borgne, M. Marchand, and H. , SIGALI: un systè m ed ec a l c u lf o r m e l pour la vérification de programmes SIGNAL, 1998.

D. Park, Concurrency and automata on infinite sequences, GI-TCS 1981, pp.167-183, 1981.
DOI : 10.1007/BFb0017309

A. Gamatie, Designing embedded systems with the SIGNAL programming: Synchronous , Reactive Specification, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00522798

L. Guernic, P. Talpin, J. Le-lann, and J. , POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, pp.261-304, 2003.
DOI : 10.1142/S0218126603000763
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, 2005.
DOI : 10.1002/9781118459898.ch2
URL : https://hal.archives-ouvertes.fr/hal-00190883

O. Kouchnarenko and S. Pinchinat, Intensional approaches for symbolic methods, Electronic Notes in Theoretical Computer Science, 1998.

H. Marchand, H. Rutten, L. Borgne, E. Samaan, and M. , Formal verification of programs specified with signal: application to a power transformer station controller, Science of Computer Programming, vol.41, issue.1, pp.85-104, 2001.
DOI : 10.1016/S0167-6423(00)00020-4
URL : https://hal.archives-ouvertes.fr/inria-00526287

J. C. Peralta, T. Gautier, L. Besnard, L. Guernic, and P. , LTSs for translation validation of (multi-clocked) SIGNAL specifications, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010.
DOI : 10.1109/MEMCOD.2010.5558632
URL : https://hal.archives-ouvertes.fr/hal-00555169

S. Pinchinat, H. Marchand, L. Borgne, and M. , Symbolic abstractions of automata and their application to the supervisory control problem, pp.1-29, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00072844

A. Pnueli, O. Shtrichman, and M. D. Siegel, Translation Validation: From SIGNAL to C, Correct System Design, pp.231-255, 1999.
DOI : 10.1007/3-540-48092-7_11

R. Milner, Operational and Algebraic Semantics of Concurrent Processes, Lab. for Foundations of Computer Science, 1988.
DOI : 10.1016/B978-0-444-88074-1.50024-X

R. J. Van-glabbeek, The linear time ??? Branching time spectrum II, CONCUR 1993, pp.66-81, 1993.
DOI : 10.1007/3-540-57208-2_6