I. Moon, Modeling programmable logic controllers for logic verification, Control Systems Magazine, pp.53-59, 1994.
DOI : 10.1109/37.272781

M. Rausch and B. Krogh, Formal verification of PLC programs, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207), pp.234-238, 1998.
DOI : 10.1109/ACC.1998.694666
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.8200

R. Huuck, B. Lukoschus, and N. Bauer, A model-checking approach to safe SFCs, Proc. of CESA 2003, 2003.

B. Zoubek, Automatic verification of temporal and timed properties of control programs, 2004.

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), pp.2431-2436, 2000.
DOI : 10.1109/ICSMC.2000.884356

O. De-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

H. Mokadem, B. Bérard, V. Gourcuff, J. Roussel, O. De et al., Verification of a timed multitask system with Uppaal, Proc. of ETFA'05, pp.347-354, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00527736

F. Jiménez-fraustro-andéand´andé and . Rutten, A synchronous model of IEC 61131 PLC languages in SIGNAL, Proceedings 13th Euromicro Conference on Real-Time Systems, pp.135-142, 2001.
DOI : 10.1109/EMRTS.2001.934016

K. L. Mcmillan, The SMV Language

J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi, UPPAAL ??? a tool suite for automatic verification of real-time systems, Proc. Workshop Hybrid Systems III: Verification and Control, pp.232-243, 1995.
DOI : 10.1007/BFb0020949

M. R. Lucas and D. M. Tilbury, A study of current logic design practices in the automotive manufacturing industry, International Journal of Human-Computer Studies, vol.59, issue.5, pp.725-753, 2003.
DOI : 10.1016/S1071-5819(03)00115-0

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking, Proc. International Conference on Computer-Aided Verification (CAV 2002), ser. LNCS, 2002.

O. Rossi, Validation formelle de programmes ladder diagram pour automates programmables industriels (formal verification of PLC program written in ladder diagram), 2003.