Robust safety of timed automata - De Wulf, Martin et al - swissbib.ch:(NATIONALLICENCE)springer-10.1007/s10703-008-0056-7