_id,doi,title
4492,10.1006/jcss.1998.1581,What's decidable about hybrid automata?