"Composing Reachability Analyses of Hybrid Systems for Safety and Stability."

Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics