@ARTICLE{Jeron99b,
  author = {Jéron, T. and Jard, C. and Viho, C. and Caillaud, B. and Kahlouche,
	H. and Morel, P. and Fernandez, J.-C. and Kerbrat, A. and Bozga M.},
  title = {Génération automatique de tests pour les protocoles : l'exemple de
	l'approche formelle de TGV},
  journal = {Revue Electronique et Electricité},
  year = {1999}
}