"Verification of Real-Time Systems by Successive Over and Under Approximation."

David L. Dill, Howard Wong-Toi (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics