Tool for FSM development