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, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00400272

C. Brunette, J. Talpin, A. Gamatié, and T. Gautier, A metamodel for the design of polychronous systems, The Journal of Logic and Algebraic Programming, vol.78, issue.4, 2008.
DOI : 10.1016/j.jlap.2008.11.005

URL : https://hal.archives-ouvertes.fr/hal-00788580

R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and 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

B. Hardekopf and C. Lin, Semi-sparse flow-sensitive pointer analysis, Symposium on Principles of programming languages, 2009.
DOI : 10.1145/1480881.1480911

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.2380

C. Lattner and V. Adve, LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., 2004.
DOI : 10.1109/CGO.2004.1281665

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

J. Talpin, D. Berner, S. Shukla, L. Guernic, P. Gamatié et al., Behavioral type inference for compositional system design " . Chapter in Formal Methods and Models for System Design, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00071442

A. Zaks and R. Joshi, Verifying multi-threaded C Programs with SPIN " . International SPIN Workshop on Model Checking of Software, 2008.
DOI : 10.1007/978-3-540-85114-1_22

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.599.1944