Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach (1983)

by E M Clarke, E A Emerson, A P Sistla
Venue:In Symposium on Principles of Programming Languages