B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit et al., Systems and Software Verification: Model-Checking Techniques and Tools, 2001.
DOI : 10.1007/978-3-662-04558-9

E. C. For-standardization and . En, Safety of machinery -two-hand control devices -functional aspects -principles for design, 1996.

G. Frey and L. Litz, Formal methods in PLC programming, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), 2000.
DOI : 10.1109/ICSMC.2000.884356

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

F. Jimenez-fraustro and E. Rutten, A synchronous model of IEC 61131 PLC languages in SIGNAL, Proceedings 13th Euromicro Conference on Real-Time Systems, pp.229-237, 2001.
DOI : 10.1109/EMRTS.2001.934016

S. Lampérì-ere-couffin and J. Lesage, Formal verification of the sequential part of PLC programs, Proceedings of 5th Workshop on Discrete Event Systems (WODES), 2000.

K. L. Mcmillan, Symbolic Model Checking, 1993.

O. Rossi, O. De-smet, S. Couffin, J. Lesage, H. Papini et al., Formal verification: a tool to improve the safety of control systems, Proceeding of SafeProcess2000 -4th symposium on Fault Detection, Safety and Supervision of Technical Processes, pp.885-890, 2000.

J. Roussel and J. Lesage, Validation and verification of GRAFCET using state machine, Proceedings of IMACS-IEEE Multiconference on Computational Engineering in Systems Applications (CESA'96), pp.758-764, 1996.

C. Thierry, J. Roussel, and J. Lesage, An extended boolean algebra for the control of logical systems, Proceedings of 16th IMACS World Congress 2000 on Scientific Computation, 2000.