_id,doi,title
4500,10.1007/3-540-60084-1_93,The expressive power of clocks
4518,10.1007/3-540-60084-1_85,Hybrid automata with finite bisimulations