_id,doi,title
4518,10.1007/3-540-60084-1_85,Hybrid automata with finite bisimulations