B. A. Bernstein, Note on the Condition that a Boolean Equation Have a Unique Solution, American Journal of Mathematics, vol.54, issue.2, pp.417-418, 1932.
DOI : 10.2307/2371005

D. Smet and O. Rossi, Verification of a controller for a flexible manufacturing line written in Ladder Diagram via model-checking, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301), pp.4147-4152, 2002.
DOI : 10.1109/ACC.2002.1024580

J. Faure and J. Lesage, Methods for safe control systems design and implementations, Proceedings of the 10th IFAC Symposium on Information Control Problems in Manufacturing, 2001.

R. P. Grimaldi, Discrete and Combinatorial Mathematics: An Applied Introduction, 2004.

D. A. Huffman, The synthesis of sequential switching circuits, Journal of the Franklin Institute, vol.257, issue.3, pp.161-190, 1954.
DOI : 10.1016/0016-0032(54)90574-8

S. Klein, G. Frey, and L. Litz, Designing fault-tolerant controllers using Model-Checking. proc. of the 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.115-120, 2003.

R. Kumar, V. K. Garg, and S. I. Marcus, On controllability and normality of discrete event dynamical systems, Systems & Control Letters, vol.17, issue.3, pp.157-168, 1991.
DOI : 10.1016/0167-6911(91)90061-I

V. S. Levchenkov, Boolean equations with many unknowns, Computational Mathematics and Modeling, vol.5, issue.2, pp.143-153, 2000.
DOI : 10.1007/BF02359181

J. Machado, B. Denis, J. Lesage, J. Faure, J. Ferreira-da et al., LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL, rd IFAC Workshop on Discrete-Event System Design: DESDes'06, pp.37-42, 2006.
DOI : 10.3182/20060926-3-PL-4904.00007
URL : https://hal.archives-ouvertes.fr/hal-00361815

J. Pétin, D. Gouyon, and G. Morel, Supervisory synthesis for product-driven automation and its application to a flexible assembly cell, Control Engineering Practice, vol.15, issue.5, pp.595-614, 2007.
DOI : 10.1016/j.conengprac.2006.10.013

J. Ramadge and W. M. Wonham, On the supremal controllable sublanguage of a given language, SIAM Journal of Control and Optimization, vol.25, issue.3, pp.637-659, 1987.

J. Roussel and J. Faure, An algebraic approach for PLC programs verification, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.303-308, 2002.
DOI : 10.1109/WODES.2002.1167703
URL : https://hal.archives-ouvertes.fr/hal-00356884

J. Roussel and A. Guia, DESIGNING DEPENDABLE LOGIC CONTROLLERS USING THE SUPERVISORY CONTROL THEORY, 16th IFAC World Congress, CDROM paper n04427, 2005.
DOI : 10.3182/20050703-6-CZ-1902.01434
URL : https://hal.archives-ouvertes.fr/hal-00344918

C. E. Shannon, A symbolic analysis of relay and switching circuits, 1940.

M. Toms, Systems of Boolean Equations, The American Mathematical Monthly, vol.73, issue.1, pp.29-35, 1966.
DOI : 10.2307/2313918