Automated temporal reasoning about reactive systems (1996)

by E A Emerson
Venue:Logics for Concurrency: Structure versus Automata, volume 1043 of LNCS