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

by E A Emerson, C-L Lei
Venue:In 12th Annual ACM Symp. on Principles of Programming Languages