"Model Checking vs. Theorem Proving: A Manifesto."

Joseph Y. Halpern, Moshe Y. Vardi (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics