DOI,IST REx ID,Title of publication
10.1007/3-540-46430-1_15,4434,Robust undecidability of timed and hybrid systems