@INPROCEEDINGS{Letraon04b,
  author = {Le~Traon, Yves and Baudry, Benoit},
  title = {Optimal Allocation of Testing Resources},
  booktitle = {Proc. of the {SIVOES-Modeva} workshop, {SIVOES} (Specification Implementation
	and Validation Of Embedded Systems)-{MoDeVa} (Model Design and Validation)},
  year = {2004},
  address = {Rennes},
  month = nov
}