J. Tretmans, Test generation with inputs, outputs and repetitive quiescence. Software -Concepts and Tools, pp.103-120, 1996.

C. Jard and T. Jéron, TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005.
DOI : 10.1007/s10009-004-0153-x

J. Tretmans, H. Brinksma, and . Torx, Automated model-based testing, First European Conference on Model-Driven Software Engineering, pp.31-43, 2003.

B. Jeannet, T. Jéron, and V. Rusu, Model-Based Test Selection for Infinite-State Reactive Systems, 5th International Symposium on Formal Methods for Components and Objects Revised Lectures, pp.47-69, 2006.
DOI : 10.1007/978-3-540-74792-5_3
URL : https://hal.archives-ouvertes.fr/inria-00564604

L. Frantzen, J. Tretmans, and T. Willemse, A symbolic framework for model-based testing. FATES, Selected Papers, pp.40-54, 2006.

K. Larsen, M. Mikucionis, and B. Nielsen, Online testing of real-time systems using Uppaal. Formal Approaches to Software Testing, LNCS, vol.3395, pp.79-94, 2005.

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009.
DOI : 10.1007/s10703-009-0065-1

N. Bertrand, T. Jéron, A. Stainer, and M. Krichen, Off-line test selection with test purposes for non-deterministic timed automata, Logical Methods in Computer Science, vol.8, issue.4, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00550923

R. Alur, K. Etessami, and M. Yannakakis, Analysis of recursive state machines, 13th International Conference on Computer Aided VerificationCAV'01), pp.207-220, 2001.

B. Courcelle, Handbook of Theoretical Computer Science, chap. Graph rewriting: an algebraic and logic approach, 1990.

D. Caucal, Deterministic graph grammars Logic and Automata, Texts in Logic and Games, pp.169-250, 2008.

D. Caucal and S. Hassen, Synchronization of Grammars, Third International Computer Science Symposium in Russia (CSR'08), pp.110-121, 2008.
DOI : 10.1007/978-3-540-79709-8_14
URL : https://hal.archives-ouvertes.fr/hal-00620185

S. Chédor, C. Morvan, S. Pinchinat, and H. Marchand, Analysis of partially observed recursive tile systems, IFAC Proceedings Volumes, vol.45, issue.29, pp.265-271, 2012.
DOI : 10.3182/20121003-3-MX-4033.00044

C. Constant, B. Jeannet, and T. Jéron, Automatic Test Generation from Interprocedural Specifications, LNCS, vol.4581, pp.41-57, 2007.
DOI : 10.1007/978-3-540-73066-8_4
URL : https://hal.archives-ouvertes.fr/inria-00137064

S. Hassen, Synchronisation de grammaires de graphes, 2008.

R. Alur and P. Madhusudan, Visibly pushdown languages, Proceedings of the thirty-sixth annual ACM symposium on Theory of computing , STOC '04, pp.202-211, 2004.
DOI : 10.1145/1007352.1007390

D. Caucal, Synchronization of Regular Automata, 34th International Symposium on Mathematical Foundations of Computer Science (MFCS'09), pp.2-23, 2009.
DOI : 10.1007/978-3-540-74456-6_13
URL : https://hal.archives-ouvertes.fr/hal-00867577

D. Nowotka and J. Srba, Height-Deterministic Pushdown Automata, 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS'07), pp.125-134, 2007.
DOI : 10.1007/978-3-540-74456-6_13

J. Esparza, A. Ku?era, and R. Mayr, Model checking probabilistic pushdown automata, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., 2006.
DOI : 10.1109/LICS.2004.1319596

N. Bertrand and C. Morvan, Probabilistic regular graphs, Electronic Proceedings in Theoretical Computer Science, vol.39, issue.10, pp.77-90, 2010.
DOI : 10.4204/EPTCS.39.6
URL : https://hal.archives-ouvertes.fr/inria-00525388