_id,doi,title
2216,10.1145/2562059.2562141,Edit distance for timed automata