A really temporal logic (1994)

by R Alur, T A Henzinger
Venue:Journal of the ACM