Besnard, L.; Gautier, T.; Moy, M.; Talpin, J.-P.; Johnson, K.; Maraninchi, F. Automatic Translation of C C++ Parallel Code into Synchronous Formalism Using an SSA Intermediate Form. eceasst 2009, 23.