_id,doi,title
4502,10.1145/225058.225162,What's decidable about hybrid automata?