@InProceedings{	  pretschner:model-based:2005-b,
  author	= {A. Pretschner},
  booktitle	= {ICSE'05},
  language	= {USenglish},
  month		= {May},
  pages		= {722--723},
  title		= {Model-Based Testing},
  year		= 2005,
  user		= {pretscha}
}