в моем опыте стэйт машина в проекте является в большей степени проблемой, чем решением
вопрос задачи и декомпозиции. Стейт машина всё-таки формально валидируется и если задача управления, можно даже более-менее успешно определять “отъезд” модели от реальности