@incollection{HOW10,
  title = "On Process-Algebraic Extensions of Metric Temporal Logic",
  author = "Christoph Haase and Jo{\"{e}}l Ouaknine and James Worrell",
  year = "2010",
  booktitle = "Reflections on the Work of C. A. R. Hoare.",
  isbn = "978-1-84882-911-4",
  pages = "283--300",
  publisher = "Springer",
  doi = "10.1007/978-1-84882-912-1\_13",
}