Modalities for model checking: Branching time strikes back (1985)

by E Emerson, C-L Lei
Venue:In Principles of Programming Languages (POPL