The efficiency of identifying timed automata and the power of clocks

Our results have interesting consequences for the power of clocks that are interesting also out of the scope of the identification problem.