E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondeau, Concurrent secrets, Discrete Event Dyn. Syst, vol.17, issue.4, pp.425-446, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00070249

B. Brandin, R. Malik, M. , and P. , Incremental verification and synthesis of discrete-event systems guided by counter-examples, IEEE Trans. Contr. Syst. Technol, vol.12, issue.3, pp.387-401, 2004.

J. W. Bryans, M. Koutny, L. Mazaré, and P. Y. Ryan, Opacity generalised to transition systems, Int. J. Inf. Secur, vol.7, issue.6, pp.421-435, 2008.

F. Cassez, J. Dubreil, and H. Marchand, Synthesis of opaque systems with static and dynamic masks, Form. Methods Syst. Des, vol.40, issue.1, pp.88-115, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00662539

O. Contant, S. Lafortune, and D. Teneketzis, Diagnosability of discrete event systems with modular structure, Discrete Event Dyn. Syst, vol.16, issue.1, pp.9-37, 2006.

M. De-queiroz and J. Cury, Modular control of composed systems, ACC, pp.4051-4055, 2000.

J. Dubreil, P. Darondeau, and H. Marchand, Opacity enforcing control synthesis, WODES, pp.28-35, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00265855

J. Dubreil, P. Darondeau, and H. Marchand, Supervisory control for opacity, IEEE Trans. Automat. Contr, vol.55, issue.5, pp.1089-1100, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00360186

R. Jacob, J. J. Lesage, and J. M. Faure, Overview of discrete event systems opacity, ARC, vol.41, pp.135-146, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01275244

L. Jezequel and E. Fabre, Turbo planning, WODES, pp.301-306, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01699581

F. Lin and W. Wonham, On observability of discrete-event systems, Info. Sci, vol.44, issue.3, pp.173-198, 1988.

T. Masopust and X. Yin, Complexity of detectability, opacity and a-diagnosability for modular discrete event systems, Automatica, vol.101, pp.290-295, 2019.

L. Mazaré, Decidability of opacity with non-atomic keys, FAST, pp.71-84, 2005.

P. J. Ramadge and W. M. Wonham, Supervision of discrete event processes, CDC, pp.1228-1229, 1982.

A. Saboori and C. N. Hadjicostis, Reducedcomplexity verification for initial-state opacity in modular discrete event systems, WODES, pp.78-83, 2010.

Y. Tong and H. Lan, Current-state opacity verification in modular discrete event systems, CDC, pp.7665-7670, 2019.

Y. Tong, Z. Li, C. Seatzu, and A. Giua, Currentstate opacity enforcement in discrete event systems under incomparable observations, Discrete Event Dyn. Syst, vol.28, issue.2, pp.161-182, 2018.