_id,doi,title
4374,1570,From MITL to Timed Automata