Henzinger TA. 1990. Half-order modal logic: How to prove real-time properties. Proceedings of the 9th annual ACM symposium on Principles of distributed computing. PODC: Principles of Distributed Computing, 281–296.
LibreCat: https://research-explorer.ista.ac.at/record/4522
DOI: 10.1145/93385.93429