Extensible extended finite state machines.