J. W. Bryans, M. Koutny, L. Mazaré, and P. Y. , Ryan: Opacity Generalized to Transition Systems, Int. Journal of Computer Security, vol.7, issue.6, pp.421-435, 2008.
DOI : 10.1007/s10207-008-0058-x

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.7966

J. Dubreil, P. Darondeau, and H. Marchand, Supervisory Control for Opacity, IEEE Transactions on Automatic Control, vol.55, issue.5, pp.1089-1100, 2010.
DOI : 10.1109/TAC.2010.2042008

URL : https://hal.archives-ouvertes.fr/inria-00483891

G. Feuillade and S. , Pinchinat: Modal Specifications for the Control Theory of Discrete Event Systems, Discrete Event Dyn Syst, pp.211-232, 2007.

M. Hennessy, Acceptance trees, Journal of the ACM, vol.32, issue.4, pp.896-928, 1985.
DOI : 10.1145/4221.4249

K. G. Larsen, Modal specifications, LNCS, vol.407, pp.232-246, 1990.
DOI : 10.1007/3-540-52148-8_19

H. Hüttel and K. G. Larsen, The use of static constructs in a modal process logic, Logic at Botik, pp.163-180, 1989.

S. , J. , and R. Kumar, Supervisory Control of Discrete Event Systems with CTL * Temporal Logic Specifications, SIAM J. of Control and Optimization, vol.44, issue.6, pp.2079-2103, 2006.

N. Lohmann, P. Massuthe, and K. Wolf, Operating Guidelines for Finite-State Services, Proc. ICATPN, pp.321-341, 2007.
DOI : 10.1007/978-3-540-73094-1_20

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7697

N. Lohmann and K. , Wolf: Petrifying Operating Guidelines for Services, Proc. ACSD, pp.80-88, 2009.
DOI : 10.1109/acsd.2009.11

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.9436

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

P. J. Ramadge and W. M. Wonham, On the Supremal Controllable Language of a Given Language, SIAM J. of Control and Optimization, vol.25, pp.637-659, 1987.

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proc. of the IEEE, pp.81-98, 1989.
DOI : 10.1109/5.21072