B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit et al., Systems and software verification : modelchecking techniques and tools, 2001.
DOI : 10.1007/978-3-662-04558-9

N. Bauer, S. Engell, R. Huuck, S. Lohmann, B. Lukoschus et al., Verification of plc programs given as sequential function charts, " in Integration of Software Specification Techniques for Applications in Engineering, ser. Lecture Notes in Computer Science, pp.517-540, 2004.

. Roussel, Verification of a timed multitask system with UPPAAL, IEEE Transactions on Automation Science and Engineering, vol.7, issue.10, pp.921-932
URL : https://hal.archives-ouvertes.fr/hal-00527736

V. Gourcuff, O. De, J. Smet, and . Faure, Efficient Representation for Formal Verification of PLC Programs, 2006 8th International Workshop on Discrete Event Systems, pp.182-187, 2006.
DOI : 10.1109/WODES.2006.1678428
URL : https://hal.archives-ouvertes.fr/hal-00175431

R. Huuck, Semantics and Analysis of Instruction List Programs, Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, pp.3-18, 2004.
DOI : 10.1016/j.entcs.2004.09.026

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

P. Lhoste, H. Panetto, and M. Roesch, Grafcet: from syntax to semantics, Automatique Productique Informatique Industrielle, pp.127-141, 1993.
URL : https://hal.archives-ouvertes.fr/hal-00137256

E. Bierel, O. Douchin, and P. Lhoste, Grafcet: from theory to implementation, Journal Européen des Systèmes Automatisés, vol.31, issue.3, pp.543-559, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00137258

F. Cassez, Formal semantics for reactive GRAFCET, European Journal of Automation, vol.31, issue.3, pp.581-603, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00368571

J. Roussel and J. Lesage, Validation and verification of Grafcet using state machine, Proceedings of IMACS- IEEE " CESA'96, pp.758-764, 1996.

A. Philippot and A. Tajer, From GRAFCET to Equivalent Graph for synthesis control of discrete events systems, 18th Mediterranean Conference on Control and Automation, MED'10, pp.683-688, 2010.
DOI : 10.1109/MED.2010.5547792

R. David, Grafcet: a powerful tool for specification of logic controllers, IEEE Transactions on Control Systems Technology, vol.3, issue.3, pp.253-268, 1995.
DOI : 10.1109/87.406973

H. Guéguen and N. Bouteille, Extensions of Grafcet to structure behavioural specifications, Control Engineering Practice, vol.9, issue.7, pp.743-756, 2001.
DOI : 10.1016/S0967-0661(01)00033-8

J. Provost, J. Roussel, and J. Faure, Translating Grafcet specifications into Mealy machines for conformance test purposes, Control Engineering Practice, vol.19, issue.9, 2010.
DOI : 10.1016/j.conengprac.2010.10.001
URL : https://hal.archives-ouvertes.fr/hal-00547891