S. Matic, “Compositionality in deterministic real-time embedded systems,” University of California, Berkeley, 2008.

A. Ghosal, “A hierarchical coordination language for reliable real-time tasks,” University of California, Berkeley, 2008.

K. Chatterjee, “Stochastic <9-Regular Games,” University of California, Berkeley, 2007.

A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.

H. de Vladar, “Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares,” Centro de estudios avazados, IVIC, 2004.

R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.

U. Wagner, “On k-Sets and Their Applications,” ETH Zurich, 2003.

C. Lampert, “The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric ,” Universität Bonn, Fachbibliothek Mathematik, 2003.

R. Majumdar, “Symbolic algorithms for verification and control,” University of California, Berkeley, 2003.

B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.

F. Mang, “Games in open systems verification and synthesis,” University of California, Berkeley, 2002.

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

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

P. Ho, “Automatic analysis of hybrid systems,” Cornell University, 1995.

T. A. Henzinger, “The temporal specification and verification of real-time systems ,” Stanford University, 1991.

N. H. Barton, “A hybrid zone in the alpine grasshopper Podisma pedestris,” University of East Anglia, 1979.