State-machine code generation for C


we would like to generate state machine code for ANSI-C. Since this is not supported by VP, we would like to use a third-party tool to generate source from XMI files.

Has anybody experience with such tools? Which tools could you recommend?

Thanks in advance