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

by Edmund Clarke, E Allen Emerson, A Prasad
Venue:ACM Transactions on Programming Languages and Systems