@misc{indiciaef0c852c1853a,
  title = {GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel},
  author = {Xavier Morselli and Marie-Laure Potet and Nicolas Stouls},
  year = {2010},
  url = {https://arxiv.org/abs/1004.2178},
  note = {Source identifier: 1004.2178}
}