A really temporal logic (1994)

by R Alur, T Henzinger
Venue:J ACM