"Temporal Property Verification as a Program Analysis Task."

Byron Cook, Eric Koskinen, Moshe Y. Vardi (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics