Finite State Machine design tool