Kopke P. The Theory of Rectangular Hybrid Automata. 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4419

Ho P. Automatic analysis of hybrid systems. 1995:1-188.
LibreCat: https://research-explorer.ista.ac.at/record/4428