Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla. Using Temporal Logic for Automatic Verification of Finite State Systems. In Krzysztof R. Apt, editor, Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984. Volume 13 of NATO ASI Series, pages 3-26, Springer, 1984. [doi]
Abstract is missing.