T.A.: A really temporal logic. (1994)

by R Alur, Henzinger
Venue:Journal of the ACM