1) Можно посмотреть примеры на Матлабе. Я предпочитаю графический язык SFC (Codesys), в Матлабе он соответствует (не во всём, в том числе и в графическом представлении) Stateflow.
Видео
Есть переводчик Stateflow -> ST. При этом, уже разбирать и отлаживать ST не так просто (кстати, в вашем примере на ST есть логическая ошибка: обращение к полям TON1.Q и TON1.ET, но не факт, что был вызов TON1 (предыдущее условие IF может быть ложным) Хорошо, если поля содержат нули. А если мусор?).
2) Можно сразу Stateflow переводить на C/C++ для Линукса (в Матлабе и Симулинке есть средства)