Henzinger, T. A., Raskin, J., &; Schobbens, P. (1998). The regular real-time languages. In Proceedings of the 25th International Colloqium on Automata, Languages and Programming (Vol. 1443, pp. 580–591). Aalborg, Denmark: Springer.https://doi.org/10.1007/BFb0055086