Experimenting with a Finite State Machine representation