Это среда для рисования, симулирования и транслирования в Сишный код конечных автоматов (КА). КА - метод проектирования программ, пришедший в программирование из синтеза логических схем. В журнале "Радио" №№ 11, 12 за 2003 год (по-моему) есть статьи на эту тему.
В результате поведение программы получается <i>наглядным/i>, в чем, ИМХО, главное преимущество КА.
У нас этот метод развивает А.А, Шалыто
http://is.ifmo.ru/