Automated Temporal Reasoning about Reactive Systems.

E. Allen Emerson Automated Temporal Reasoning about Reactive Systems. 41-101 1995 conf/banff/1995 Banff Higher Order Workshop db/conf/banff/banff1995.html#Emerson95