Christoph Haase, Joël Ouaknine, James Worrell. On Process-Algebraic Extensions of Metric Temporal Logic. In A. W. Roscoe, Clifford B. Jones, Kenneth R. Wood, editors, Reflections on the Work of C. A. R. Hoare. pages 283-300, Springer, 2010. [doi]
Abstract is missing.