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, 2009.
DOI : 10.1109/COMPSAC.2009.49
URL : https://hal.archives-ouvertes.fr/inria-00516011

A. Pnueli, M. Siegel, and E. Singerman, Translation validation, pp.151-166, 1998.
DOI : 10.1007/BFb0054170

T. A. Henzinger, Z. Manna, and A. Pnueli, Temporal Proof Methodologies for Timed Transition-Systems, Information and Computation, vol.112, issue.2, pp.273-337, 1994.
DOI : 10.1006/inco.1994.1060

A. Mader, A Classification of PLC Models and Applications, WODES 2000: 5th Workshop on Discrete Event Systems, pp.21-23, 2000.
DOI : 10.1007/978-1-4615-4493-7_24

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

M. Younis and G. Frey, Formalization of existing PLC programs: A survey, Proceedings of CESA, pp.234-0239, 2003.

D. Pollmacher, W. Zimmermann, and H. Hanisch, Translation Validation for Model-Based Code-Generators for PLCs, 2005 IEEE Conference on Emerging Technologies and Factory Automation, 2005.
DOI : 10.1109/ETFA.2005.1612509

T. Melham, Higher order logic and hardware verification, 1993.
DOI : 10.1017/CBO9780511569845