GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel - Xavier Morselli; Marie-Laure Potet; Nicolas Stouls (CoRR, 2010)