Automated Translation of C/C++ Models into a Synchronous Formalism