Mathieu Roisin, Dimitri Renard, David Annebicque, Bernard Riera, Pierre-Alain Yvars. From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3). 22nd international conference on information in control, automation and robotics (ICINCO 2025), Oct 2025, Marbella, Spain. ⟨hal-05361727⟩