Changed the interface of the timed automaton type.