"Semi-external LTL Model Checking."

Stefan Edelkamp, Peter Sanders, Pavel Simecek (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics