Automatic verification of finite-state concurrent systems using temporal logic specifications (1986)

by E. M. Clarke, E. A. Emerson, A. P. Sistla
Venue:ACM Transactions on Programming Languages and Systems