1. Lecture Notes in Computer Science;E. Asarin,2009
2. Ben Salah, R., Bozga, M., Maler, O.: On timed components and their abstraction. In: SAVCBS 2007, pp. 63–71. ACM Press, New York (2007)
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. Krasnosel’skij, M., Lifshits, E., Sobolev, A.: Positive Linear Systems: The method of positive operators. Heldermann Verlag, Berlin (1989)