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

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

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

S. Lampérière-couffin and J. Lesage, Formal Verification of the Sequential Part of PLC Programs, 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

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, American Control Conference, 1998.

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