Your search returned the following document:

1. Region Stability Proofs for Hybrid Systems
   Silke Wagner and Andreas Podelski
   In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, 2007, 16 p.