Martin De Wulf Laurent Doyen Nicolas Markey Jean-François Raskin Robust safety of timed automata. 45-84 2008 33 Formal Methods in System Design 1-3 http://dx.doi.org/10.1007/s10703-008-0056-7 db/journals/fmsd/fmsd33.html#WulfDMR08