Timed k-Tail: Automatic Inference of Timed Automata