DOI,IST REx ID,Title of publication
10.1006/jcss.1998.1581,4492,What's decidable about hybrid automata?