@ARTICLE{Jard98a,
  author = {Jard, Claude and Jézéquel, Jean-Marc and Pennaneac'h, François},
  title = {Vers l'utilisation d'outils de validation de protocoles dans {UML}},
  journal = {Technique et Science Informatique},
  year = {1998},
  volume = {17},
  number = {9},
  month = sep
}