Extended finite state machine with variables and decisions