@InCollection{	  pretschner:zur:2006,
  author	= {Alexander Pretschner},
  booktitle	= {Dagstuhl Workshop Modellbasierte Entwicklung eingebetteter
		  Systeme},
  language	= {USenglish},
  month		= 01,
  pages		= {85--94},
  publisher	= {Technische Universitaet Braunschweig},
  title		= {Zur Kosteneffektivitaet des modellbasierten Testens},
  year		= 2006,
  user		= {pretscha}
}