DOI,IST REx ID,Title of publication
10.1007/BFb0033565,4617,The algorithmic analysis of hybrid systems