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

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