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

by E M Clarke, E A Emerson, A P Sistla
Venue:ACM Trans. Program. Lang. Syst