@INPROCEEDINGS{Deveaux99b,
  author = {Deveaux, Daniel and Jézéquel, Jean-Marc and Le~Traon, Yves},
  title = {Self-Testable Components: from Pragmatic Tests to Design-for-Testability
	Methodology},
  booktitle = {TOOLS Europe 1999},
  year = {1999},
  month = jun,
  publisher = {IEEE Computer Society Press}
}