A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

L. Besnard, T. Gautier, M. Moy, J. P. Talpin, K. Johnson et al., Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form, Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09), Electronic Communications of the EASST, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00400272

F. Boussinot, FairThreads in C. www-sop.inria.fr/mimosa/rp/FairThreads/FTC/index.html. [4] F. Boussinot. Operational semantics of cooperative fair threads. www-sop.inria.fr/meije
URL : https://hal.archives-ouvertes.fr/inria-00071544

F. Boussinot, FairThreads: mixing cooperative and preemptive threads in C, Concurrency and Computation: Practice and Experience, vol.11, issue.5, pp.445-469, 2006.
DOI : 10.1002/cpe.919
URL : https://hal.archives-ouvertes.fr/inria-00071544

D. R. Butenhof, Programming with POSIX Threads, 1997.

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320

S. A. Edwards and O. Tardieu, SHIM, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.854-867, 2006.
DOI : 10.1145/1086228.1086277

K. Havelund and T. Pressburger, Model checking JAVA programs using JAVA PathFinder, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, pp.366-381, 2000.
DOI : 10.1007/s100090050043
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.7274

H. Kalla, J. Talpin, D. Berner, and L. Besnard, Automated translation of C/C++ models into a synchronous formalism, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06), pp.426-436, 2006.
DOI : 10.1109/ECBS.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00546021

M. L. Borgne, H. Marchand, ´. E. Rutten, and M. Samaan, Formal verification of signal programs: Application to a power transformer station controller. Algebraic Methodology and Software Technology, pp.271-285, 1996.
URL : https://hal.archives-ouvertes.fr/hal-00544301

P. , L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming real-time applications with Signal, Proceedings of the IEEE, vol.79, issue.9, pp.1321-1336, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075114

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

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Marchand and M. L. Borgne, The supervisory control problem of discrete event systems using polynomial methods, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00072869

H. Marchand and E. Rutten, Signal and Sigali user's manual, 2002.

N. Walkinshaw, K. Bogdanov, M. Holcombe, and S. Salahuddin, Improving dynamic software analysis by applying grammar inference principles, Journal of Software Maintenance and Evolution: Research and Practice, vol.6, issue.2, pp.269-290, 2008.
DOI : 10.1002/smr.373