A Really Temporal Logic (1994)

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