@article{RNTI/papers/1000677,
  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 = {2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 3-7 Mars 2008, Montréal, Québec, Canada, RNTI-L-2},
  year      = {2008},
  pages     = {157-172}
}