DOI,IST REx ID,Title of publication
10.1016/0304-3975(94)00202-T,4613,The algorithmic analysis of hybrid systems