_id,doi,title
4369,10.1007/978-3-642-15297-9_13,From MTL to deterministic timed automata