Mathieu Roisin, Dimitri Renard, David Annebicque, Pierre-Alain Yvars, Bernard Riera. De la modélisation par intension du problème de commande logique à la génération de code ST (IEC 61131-3). Modélisation des système réactifs (MSR'25), Nov 2025, Reims, France. ⟨hal-05382928⟩