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

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.3757

N. Bertrand and C. Morvan, Probabilistic regular graphs, 12th International Workshop on Verification of Infinite-State Systems, pp.77-90, 2010.
DOI : 10.4204/EPTCS.39.6
URL : https://hal.archives-ouvertes.fr/inria-00525388

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, p.2012
URL : https://hal.archives-ouvertes.fr/inria-00550923

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, 11th edition of Workshop on Discrete Event Systems, 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, TestCom/FATES'07, pp.41-57, 2007.
DOI : 10.1007/978-3-540-73066-8_4
URL : https://hal.archives-ouvertes.fr/inria-00137064

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

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

L. Frantzen, J. Tretmans, and T. A. Willemse, A Symbolic Framework for Model-Based Testing, FATES 2006 and RV 2006, Revised Selected Papers, pp.40-54, 2006.
DOI : 10.1007/11940197_3

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

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4262

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 (FMCO'06), Revised Lectures, pp.47-69, 2006.
DOI : 10.1007/978-3-540-74792-5_3
URL : https://hal.archives-ouvertes.fr/inria-00564604

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

K. G. Larsen, M. Mikucionis, and B. Nielsen, Online Testing of Real-time Systems Using Uppaal, Formal Approaches to Software Testing, pp.79-94, 2005.
DOI : 10.1007/s100090050044

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.570.7155

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

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence. Software -Concepts and Tools, pp.103-120, 1996.
DOI : 10.1007/3-540-61042-1_42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9528