L. Besnard, T. Gautier, M. Moy, J.-P. Talpin, K. Johnson, and F. Maraninchi, “Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form”, eceasst, vol. 23, Dec. 2009.