Kalla H, Talpin J-P, Berner D, Besnard L. 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). 2006 :9-pp.