Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986. [doi]
Abstract is missing.