We (Raisonance) have this product, but, because it's not 'fully' automatic for the reasons already explained in the other replies, we prefer to translate Customers' code ourselves. We have done this for a few customers last year: most of them used the C code in the end, but at least one preferred to go for a rewrite after testing the translation. If you want we can take a quick look at your PLM (free) to see what translation would be like.
The C produced is, of course, for Raisonance compiler.

Luca