Здравствуйте, batu, Вы писали:

B>Во-во.. Об чем я и говорю.. Системы реального времени с прерываниями и обработкой телеметрии вносят долю недерминированности
А что не так? Тут вполне автоматность как раз и работает — внешние запросы это просто входные воздействия для автомата. Собственно, это как раз конек автоматного программирования. Но что-то сложное в таком ключе написать тяжело.