@INPROCEEDINGS{Lugato04,
  author = {Lugato, D. and Maraux, F. and Le~Traon, Y. and Nebut, C. and Normand,
	V. and Dubois, H. and Pierron, J.-Y. and Gallois, J.-P.},
  title = {Automated functional test case synthesis from thalès industrial requirements},
  booktitle = {Proc. of the 10th {IEEE Real-Time and embedded technology and Applications
	Symposium}},
  year = {2004},
  address = {Toronto},
  month = may
}