Qadeer S. Algorithms and Methodology for Scalable Model Checking. 1999:1-150.
LibreCat: https://research-explorer.ista.ac.at/record/4411

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

Henzinger TA. The temporal specification and verification of real-time systems . 1991.
LibreCat: https://research-explorer.ista.ac.at/record/4516

Barton NH. A hybrid zone in the alpine grasshopper Podisma pedestris. 1979.
LibreCat: https://research-explorer.ista.ac.at/record/4337