A really temporal logic
R. Alur, T.A. Henzinger, in:, 30th Annual Symposium on Foundations of Computer Science, IEEE, 1989, pp. 164–169.
LibreCat: https://research-explorer.ista.ac.at/record/4596
DOI: 10.1109/SFCS.1989.63473