Qadeer S. 1999. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4411

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

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

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

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