1. Koymans, R. (1990). Specifying real-time properties with metric temporal logic. Real-Time Systems, 2, 255–299. https://doi.org/10.1007/BF01995674.
2. Alur, R., Feder, T., & Henzinger, T.A. (1996). The benefits of relaxing punctuality. Journal of the ACM, 43, 116–146. https://doi.org/10.1145/112600.112613.
3. Montanari, A., & Policriti, A. Executing metric temporal logic. workshop on programming in temporal and non classical logics at international joint conferences on artificial intelligence 1997, August 1997. http://citeseerx.ist.psu.edu/viewdoc/citations?doi=10.1.1.50.1193.
4. Baratella, S., & Masini, A. (2019). A two-dimensional metric temporal logic. Mathematical Logic Quarterly, 66, 7–19. https://doi.org/10.1002/malq.201700036.
5. Wolter, F., & Zakharyaschev, M. (2003). Reasoning about distances. In Proceedings of the 18th international joint conference on artificial intelligence (pp. 1275–1280).