DOI,IST REx ID,Title of publication
10.1145/225058.225162,4502,What's decidable about hybrid automata?