_id,doi,title
4520,10.1007/BFb0014736,Robust timed automata