1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
2. Lecture Notes in Computer Science;G Behrmann,2007
3. Behrmann, G., et al.: UPPAAL 4.0. In: Proceedings of the 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006, pp. 125–126. IEEE Computer Society Press, September 2006
4. Lecture Notes in Computer Science;M Bozga,1998
5. Bouyer, P., Fang, E., Markey, N.: Permissive strategies in timed automata and games. In: Grov, G., Ireland, A. (eds.) Proceedings of the 15th International Workshop on Automated Verification of Critical Systems, AVOCS 2015, volume 72 of Electronic Communications of the EASST. European Association of Software Science and Technology, September 2015