Before revision: Automaton clocks being finite essentially means that automaton clocks have a certain amount of states that they can exist in .
After revision: Automaton clocks being finite essentially means that automaton clocks have a certain number of states in which they can exist .