The Theory of Hybrid Automata (1996)

by Thomas A. Henzinger