@Book{		  broy.ea:model-based:2005,
  author	= {M. Broy and B. Jonsson and J.-P. Katoen and M. Leucker and
		  A. Pretschner},
  cover		= {2005/MBT-cover.jpg},
  isbn		= {3-540-26278-4},
  language	= {USenglish},
  month		= {July},
  num_pages	= 659,
  publisher	= {Springer},
  series	= {LNCS},
  title		= {Model-Based Testing of Reactive Systems},
  url		= {http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-146-22-52081580-0,00.html}
		  ,
  volume	= 3472,
  year		= 2005,
  user		= {pretscha}
}