Proving Sequential Function Chart Programs Using Automata. - Dominique L'Her; Philippe Le Parc; Lionel Marcé (Workshop on Implementing Automata, 1998)

Grafcet revisited with a synchronous data-flow language. - Philippe Le Parc; Dominique L'Her; Jean-Luc Scharbarg; Lionel Marcé (IEEE Trans. Syst. Man Cybern. Part A, 1999)

Proving sequential function chart programs using timed automata. - Dominique L'Her; Philippe Le Parc; Lionel Marcé (Theor. Comput. Sci., 2001)