Mathieu Roisin, David Annebicque, Pierre-Alain Yvars, Bernard Riera. Synthèse de système à base de modèles pour la conception de contrôleur logique correct par construction. S.mart 2025, May 2025, Voguë, France. ⟨hal-05085514⟩