Для реальных стейт-машин нужна полная определенность входных воздействий и полная определенность свойств исполняющего движка. Такого в дивайсах не бывает.
Стейт-машины не умеют учитывать время на выполнение переходов и реальные задержки в реакции подсистем.
Т.е. даже под hard realtime RTOS стейт-машина может наворотить дров.
Поэтому они годятся только вот для компиляторов или симуляторов либо для очень простых моделей где человек может либо на глаз либо на веру игнорировать проблемы времени.