_id,doi,title
4434,10.1007/3-540-46430-1_15,Robust undecidability of timed and hybrid systems