DOI,IST REx ID,Title of publication
10.1007/BFb0014712,4438,From quantity to quality
10.1007/BFb0014736,4520,Robust timed automata