1. Allen, J.F., Hayes, P.J.: A common-sense theory of time. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence - Volume 1, IJCAI 1985, pp. 528–531. Morgan Kaufmann Publishers Inc., San Francisco (1985)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Balbiani, P.: Time representation and temporal reasoning from the perspective of non-standard analysis. In: Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, KR 2008, pp. 695–704. AAAI Press (2008)
4. Baratella, S., Masini, A.: A two-dimensional metric temporal logic. Math. Log. Q. 66(1), 7–19 (2020). https://doi.org/10.1002/malq.201700036
5. Bataineh, O., Rosenblum, D.S., Reynolds, M.: Efficient decentralized LTL monitoring framework using tableau technique. ACM Trans. Embed. Comput. Syst. 18(5s), 1–21 (2019)