Persistent Finite State Machine