1. Abdulla, P.A., Deneux, J., Ouaknine, J., Quaas, K., Worrell, J.: Universality analysis for one-clock timed automata. Fundamenta Informaticae 89(4), 419–450 (2008)
2. Lecture Notes in Computer Science;P. Chambart,2007
3. Lecture Notes in Computer Science;P. Chambart,2008
4. Chambart, P., Schnoebelen, P.: The ordinal recursive complexity of lossy channel systems. In: Proc. LICS 2008, pp. 205–216. IEEE Comp. Soc. Press, Los Alamitos (2008)
5. Lecture Notes in Computer Science;P. Chambart,2010