This is a good point. The state machine abstraction is very low level. I guess what would be interesting would be domain-specific abstractions implemented on to

This is a good point. The state machine abstraction is very low level. I guess what would be interesting would be domain-specific abstractions implemented on top of state machines. Defining the domain-specific abstractions in the terminology of state machines may make them more approachable also to non-domain experts.