I. E. Commission, IEC 61131-3 : Programmable controllers -programming languages, IEC, Tech. Rep, 2003.

A. Mader and H. Wupper, Timed automaton models for simple programmable logic controllers, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99, pp.1-06, 1999.
DOI : 10.1109/EMRTS.1999.777456

G. Canet, S. Couffin, J. Lesage, A. Petit, and P. Schnoebelen, Towards the automatic verification of PLC programs written in Instruction List, 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.2449-2454, 2000.
DOI : 10.1109/ICSMC.2000.884359

N. Völker and B. J. Krämer, Automated verification of function block-based industrial control systems, Science of Computer Programming, vol.42, issue.1, pp.101-113, 2002.
DOI : 10.1016/S0167-6423(01)00028-4

R. Huuck, Semantics and Analysis of Instruction List Programs, Electronic Notes in Theoretical Computer Science, vol.115, pp.3-18, 2005.
DOI : 10.1016/j.entcs.2004.09.026

G. Gonthier and A. Mahboubi, A small scale reflection extension for the Coq system, iNRIA

X. Leroy, A Formally Verified Compiler Back-end, Journal of Automated Reasoning, vol.27, issue.1, pp.363-446, 2009.
DOI : 10.1007/s10817-009-9155-4
URL : https://hal.archives-ouvertes.fr/inria-00360768

G. Gonthier and A. Mahboubi, An introduction to small scale reflection in Coq
URL : https://hal.archives-ouvertes.fr/inria-00515548

W. Bolton, Programmable Logic Controllers, 2006.

H. Wan, G. Chen, X. Song, and M. Gu, Formalization and Verification of PLC Timers in Coq, 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp.315-323, 2009.
DOI : 10.1109/COMPSAC.2009.49
URL : https://hal.archives-ouvertes.fr/inria-00516011

J. O. Blech, A. Hattendorf, J. Huang, S. Bensalem, M. Bozga et al., Towards a property preserving transformation from IEC 61131-3 to BIP Compositional verification for component-based systems and application, IET Software, Special Issue on Automated Compositional Verification: Techniques, Applications and Empirical Studies, pp.181-193, 2010.