1. Ben Salah, R., Bozga, M., Maler, O.: On timed components and their abstraction. In: SAVCBS 2007, pp. 63–71. ACM, New York (2007)
2. Lecture Notes in Computer Science;E. Asarin,2009
3. Asarin, E., Degorre, A.: Volume and entropy of regular timed languages. Preprint (2009),
http://hal.archives-ouvertes.fr/hal-00369812/
4. Lind, D., Marcus, B.: An introduction to symbolic dynamics and coding. Cambridge University Press, Cambridge (1995)
5. Bucci, G., Piovosi, R., Sassoli, L., Vicario, E.: Introducing probability within state class analysis of dense-time-dependent systems. In: QEST 2005, pp. 13–22. IEEE Computer Society, Los Alamitos (2005)