Bouyer, P., Laroussinie, F., Markey, N., Ouaknine, J., & Worrell, J. (2017). Timed
Temporal Logics. In L., Aceto, G., Bacci, G., Bacci, A., Ingólfsdóttir, A., Legay, & R., Mardare (Eds.),
Models, Algorithms, Logics and Tools (pp. 211-230). Berlin: Springer. doi:10.1007/978-3-319-63121-9_11.