@INPROCEEDINGS{Nebut05c,
  author = {Nebut, Cl\'ementine and Fleurey, Franck},
  title = {Une m\'ethode de formalisation progressive des exigences bas\'ee
	sur un mod\`ele simulable},
  booktitle = { Langages et Mod\`eles \`a Objets: LMO'05 (L'Objet logiciel, bases
	de donn\'ees, r\'eseaux, RSTI s\'erie l'Objet Vol. 11 N° 1-2/2005)},
  year = {2005},
  pages = {145-158},
  address = {Bern, Switzerland},
  month = feb
}