Средства и методы разработки

У Шалыто оно уже event driven -- автомат получает события как аргумент функции. И менять ничего-то не нужно. Если речь про то, что при вычислении условий перехода вызываются какие-либо функции (`x') и проверяют входы, например, то ничто не мешат либо: 1) эту проверку осуществить за пределами данного автомата и по факту проверки сгенерировать соответствующие события, на которые будет реагировать автомат (в данном случае, ещё раз подчёркиваю, важно сохранение порядка возникновения событий, если время реакции системы, грубо говоря, достаточно большое); 2) либо оставить как есть и а факт события использовать только для запуска автомата, в котором уже игнорировать событие и проанализировать входы напрямую, но в данном случае время реакции системы должно быть заведомо меньше периода внешних процессов (т.е. вообще тезис о сохранении порядка обработки событий и не важен...) Оба подхода вполне эквиэвалентны.