S. Bornot, R. Huuck, Y. Lakhnech, and B. Lukoschus, Verification of sequential function charts using SMV " Proceedings of PDPTA 2000 (special session on Formal Validation), 2000.

D. Smet, O. Rossi, and O. , 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

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, 1998.
DOI : 10.1109/ICSMC.2000.884356

S. Lampérière-couffin and J. Lesage, Formal Verification of the Sequential Part of PLC Programs, Proceedings of Wodes2000 -5th Workshop on Discrete Event Systems, pp.247-254, 2000.
DOI : 10.1007/978-1-4615-4493-7_25

S. Kowalewski, S. Engell, J. Preußig, and O. Stursberg, Verification of logic controllers for continuous plants using timed condition/event-system models, Automatica, vol.35, issue.3, pp.505-518, 1999.
DOI : 10.1016/S0005-1098(98)00179-4

J. M. Machado, B. Denis, J. Lesage, J. Faure, and J. C. Silva, Increasing the efficiency of PLC Program Verification using a plant model, Proceedings of the 6 th edition of the International Conference on Industrial Engineering and Production Management, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00424030

L. Marcé and P. L. Parc, Defining the semantics of languages for programmable controllers with synchronous processes, Control Engineering Practice, vol.1, issue.1, pp.79-84, 1993.
DOI : 10.1016/0967-0661(93)92106-E

M. Rausch and B. H. Krogh, Formal verification of PLC programs, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207), 1998.
DOI : 10.1109/ACC.1998.694666

J. Roussel and B. Denis, Safety properties verification of ladder diagram programs, Journal Européen des Systèmes Automatisés, vol.36, pp.905-917, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00356881