Finite State Machine Designer