timed automaton Automata-theoretic representation of timed language https://en.wikipedia.org/wiki/Timed\_automaton