@ARTICLE{Jard99a,
  author = {Jard, Claude and J\'{e}z\'{e}quel, Jean-Marc and Le~Guennec, Alain
	and Caillaud, Benoit},
  title = {Protocol Engineering using {UML}},
  journal = {Annales des Telecoms},
  year = {1999},
  volume = {54},
  pages = {526--538},
  number = {11--12},
  month = nov
}