A Really Temporal Logic (1989)

by Rajeev Alur, Thomas A. Henzinger
Venue:Journal of the ACM