Henzinger TA, Manna Z, Pnueli A. 1991. Temporal proof methodologies for real-time systems. Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL: Principles of Programming Languages, 353–366.
LibreCat: https://research-explorer.ista.ac.at/record/4508
DOI: 10.1145/99583.99629