T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 417–428.
LibreCat: https://research-explorer.ista.ac.at/record/4500
DOI: 10.1007/3-540-60084-1_93

T. A. Henzinger, “Hybrid automata with finite bisimulations,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 324–335.
LibreCat: https://research-explorer.ista.ac.at/record/4518
DOI: 10.1007/3-540-60084-1_85