Bernard Riera, Philippot Alexandre, David Annebicque, François Gellot. La commande par contraintes logiques de sécurité : principe, applications et mise en oeuvre.
Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France.
⟨hal-01224261⟩