R. Alur, K. Etessami, and M. Yannakakis, Analysis of recursive state machines, 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

E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondeau, Concurrent Secrets, Discrete Event Dynamic Systems, vol.5, issue.4, pp.425-446, 2007.
DOI : 10.1007/s10626-007-0020-5
URL : https://hal.archives-ouvertes.fr/inria-00070249

P. Baldan, T. Chatain, S. Haar, and B. König, Unfolding-based diagnosis of systems with an evolving topology, Information and Computation, vol.208, issue.10, pp.1169-1192, 2010.
DOI : 10.1016/j.ic.2009.11.009
URL : https://hal.archives-ouvertes.fr/inria-00638204

P. Bouyer, F. Chevalier, and D. Souza, Fault Diagnosis Using Timed Automata, FoSSaCS'05), pp.219-233, 2005.
DOI : 10.1007/978-3-540-31982-5_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.7570

J. Bryans, M. Koutny, L. Mazaré, and P. Y. Ryan, Opacity generalised to transition systems, International Journal of Information Security, vol.79, issue.3???4, pp.421-435, 2008.
DOI : 10.1007/s10207-008-0058-x

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 1999.

F. Cassez, The Dark Side of Timed Opacity, Proc. of the 3rd International Conference on Information Security and Assurance (ISA'09), pp.21-30, 2009.
DOI : 10.1016/j.jss.2005.12.021
URL : https://hal.archives-ouvertes.fr/inria-00493635

F. Cassez, J. Dubreil, and H. Marchand, Synthesis of opaque systems with static and dynamic masks, Formal Methods in System Design, vol.158, issue.1???2, pp.88-115, 2012.
DOI : 10.1007/s10703-012-0141-9
URL : https://hal.archives-ouvertes.fr/hal-00662539

D. Caucal, Deterministic graph grammars, Texts in logics and games 2, pp.169-250, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00867578

D. Caucal and S. Hassen, Synchronization of Grammars, LNCS, vol.5010, pp.110-121, 2008.
DOI : 10.1007/978-3-540-79709-8_14
URL : https://hal.archives-ouvertes.fr/hal-00620185

S. Chédor, T. Jéron, and C. Morvan, Test Generation from Recursive Tile Systems, INRIA, 2013.

S. Chã-c-dor, T. Jã-c-ron, and C. Morvan, Test generation from recursive tiles systems, 6th International Conference on Tests and Proofs, pp.99-114

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

J. Dubreil, T. Jã-c-ron, and H. Marchand, Monitoring confidentiality by diagnosis techniques, pp.2584-2590, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00420420

L. Hélouet, T. Gazagnaire, B. Genest, L. Marchand, and H. , Diagnosis from Scenarios, 2006 8th International Workshop on Discrete Event Systems, pp.307-312, 2006.
DOI : 10.1109/WODES.2006.1678447

T. Jéron, H. Marchand, S. Pinchinat, and M. O. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, pp.262-268, 2006.
DOI : 10.1109/WODES.2006.1678440

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2000.
DOI : 10.1109/9.940942

K. Kobayashi and K. Hiraishi, Verification of Opacity and Diagnosability for Pushdown Systems, Journal of Applied Mathematics, vol.36, issue.2, 2013.
DOI : 10.1007/978-3-540-24597-1_10

C. Morvan and S. Pinchinat, Diagnosability of Pushdown Systems, HVC2009, Haifa Verification Conference, pp.21-33, 2009.
DOI : 10.1109/TAC.2002.802763
URL : https://hal.archives-ouvertes.fr/inria-00525397

A. Saboori and C. Hadjicostis, Verification of initial-state opacity in security applications of DES, 2008 9th International Workshop on Discrete Event Systems, pp.328-333, 2008.
DOI : 10.1109/WODES.2008.4605967

A. Saboori and C. N. Hadjicostis, Verification of Infinite-Step Opacity and Complexity Considerations, IEEE Transactions on Automatic Control, vol.57, issue.5, pp.1265-1269, 2012.
DOI : 10.1109/TAC.2011.2173774

M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
DOI : 10.1109/87.486338

S. Tripakis, Fault Diagnosis for Timed Automata, LNCS, vol.2469, pp.205-224, 2002.
DOI : 10.1007/3-540-45739-9_14

T. Ushio, I. Onishi, and K. Okuda, Fault detection based on Petri net models with faulty behaviors, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), pp.113-118, 1998.
DOI : 10.1109/ICSMC.1998.725394

Y. C. Wu and S. Lafortune, Comparative analysis of related notions of opacity in centralized and coordinated architectures, Discrete Event Dynamic Systems, vol.1146, issue.9, pp.307-339, 2013.
DOI : 10.1007/s10626-012-0145-z

T. S. Yoo and S. Lafortune, Polynomial-time verification of diagnosability of partially-observed discrete event systems, IEEE Trans. on Automatic Control, vol.47, issue.3, pp.1491-1495, 2002.