Games in open systems verification and synthesis
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.

Algorithms and Methodology for Scalable Model Checking
S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999.

The Theory of Rectangular Hybrid Automata
P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.

Automatic analysis of hybrid systems
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.

The temporal specification and verification of real-time systems 
T.A. Henzinger, The Temporal Specification and Verification of Real-Time Systems , Stanford University, 1991.

A hybrid zone in the alpine grasshopper Podisma pedestris
N.H. Barton, A Hybrid Zone in the Alpine Grasshopper Podisma Pedestris, University of East Anglia, 1979.