Efficient Identification of Timed Automata