Henzinger, Thomas A., and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.”10.1007/3-540-61604-7_74__7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:10.1007/3-540-61604-7_74.