TkT: Automatic Inference of Timed and Extended Pushdown Automata | IEEE Journals & Magazine | IEEE Xplore