ReaGeniX со своей методологией разработки ПО (автоматы изображаются в visio и транслируются в код на C), совместно с RTOS для запуска всего комплекса уверенно догоняет А. А. Шалыто с автоматным проектированием (где тоже был и Visio, и плагины для Eclipse, но не было самого главного -- RTOS). Ссылка:
http://www.obp.fi/ …r_programmer/index.php