"Optimizing Bounded Model Checking for Linear Hybrid Systems."

Erika Ábrahám et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics