@article{RNTI/papers/1000578,
  author    = {Xavier Dumas and Claire Pagetti and Laurent Sagaspe and Pierre Bieber and Philippe Dhaussy},
  title     = {Vers la génération de modèles de sûreté de fonctionnement},
  journal = {Revue des Nouvelles Technologies de l'Information},
  volume = {LMO 2008, Langages et Modèles à Objets, RNTI-L-1},
  year      = {2008},
  pages     = {59-61}
}