DOI,IST REx ID,Title of publication
10.1007/3-540-60084-1_85,4518,Hybrid automata with finite bisimulations