Counter using FSM