@InProceedings{	  pretschner:modellbasiertes:2004,
  author	= {A. Pretschner},
  booktitle	= {Modellierung 2004},
  language	= {german},
  pages		= 274,
  publisher	= {GI},
  series	= {LNI},
  title		= {Modellbasiertes Testen},
  volume	= 45,
  year		= 2004,
  user		= {pretscha}
}