"Beyond safety: customized SAT-based model checking."

Malay K. Ganai, Aarti Gupta, Pranav Ashar (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics