R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4424

R. Majumdar, “Symbolic algorithms for verification and control,” University of California, Berkeley, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4416

B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4425

F. Mang, “Games in open systems verification and synthesis,” University of California, Berkeley, 2002.
LibreCat: https://research-explorer.ista.ac.at/record/4414

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

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

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