Без заголовка

Есть тема с полувековой историей — программирование промконтроллеров (ПЛК). Живут на белом свете графические языки FBD, SFC, LD тот вообще с царских времён существует. С их текстовым представлением какие-то непонятки, лично я не встречал толковых текстовых/двухрежимных тулчейнов. С _удобными_ текстовыми форматами описания Finite State Machines лично я тоже ничего удобоваримого не обнаружил. Подозреваю, что плохо искал (VHDL Verilog не предлагать, мы за них помним ;).