"Using Abstractions for the Verification of Linear Hybrid Systems."

Alfredo Olivero, Joseph Sifakis, Sergio Yovine (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics