For C/C++, and various code generation from state description tools like matlab/simulink, specific in the auto/aircraft/safety industries, I won't mention by name here, but no FOSS.

Anyway, I think about this stuff all the time and really enjoyed your article, thanks for writing it, it doesn't seem to be a very popular topic to write in such depth. Thanks again!