Henzinger TA, Kopke P. State equivalences for rectangular hybrid automata. In: 7th International Conference on Concurrency Theory. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:530-545. doi:10.1007/3-540-61604-7_74