"An Automata-Theoretic Approach to Linear Temporal Logic."

Moshe Y. Vardi (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics