"SAT-based Abstraction Refinement for Real-time Systems."

Stephanie Kemper, André Platzer (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics