Moshe Y. Vardi An Automata-Theoretic Approach to Linear Temporal Logic. 238-266 1995 conf/banff/1995 Banff Higher Order Workshop db/conf/banff/banff1995.html#Vardi95