Extended Finite State Machine