1. Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183–235.
https://doi.org/10.1016/0304-3975(94)90010-8
.
2. Behrmann, G., Cougnard, A., David, A., Fleury, E., Gulstrand Larsen, K., & Lime, D. (2006). Uppaal-Tiga: Timed games for everyone. In Nordic Workshop on Programming Theory (NWPT’06), Reykjavik, Iceland, October 18–20, 2006. URL:
https://hal.archives-ouvertes.fr/hal-00350470/document
.
3. Behrmann, G., David, A., & Larsen, K. G. (2006). A tutorial on Uppaal 4.0. Aalborg, Denmark. URL:
http://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf
.
4. Benghazi Akhlaki, K., Capel Tuñón, M. I., Holgado Terriza, J. A., & Mendoza Morales L E. (2007). A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. Science of Computer Programming, 65(1), 41–56.
https://doi.org/10.1016/j.scico.2006.08.005
.
5. Bérard, B. (2013). An introduction to timed automata. In Control of discrete-event systems (pp. 169–187). London, UK: Springer.
https://doi.org/10.1007/978-1-4471-4276-8_9
.