"Reachability Verification for Hybrid Automata."

Thomas A. Henzinger, Vlad Rusu (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics