@inbook{HOW-hoare10,
  title = "On Process-algebraic Extensions of Metric Temporal Logic",
  author = "Christoph Haase and Joel Ouaknine and James Worrell",
  year = "2010",
  booktitle = "Reflections on the Work of C.A.R. Hoare",
  chapter = "13",
  copyright = "Springer-Verlag London",
  editor = "C.B. Jones, A.W. Roscoe and K.R. Wood",
  pages = "283--300",
  publisher = "Springer",
  series = "History of computing",
  doi = "10.1007/978-1-84882-912-1_13",
}