@TechReport{	  utting.ea:taxonomy:2006,
  author	= {M. Utting and A. Pretschner and B. Legeard},
  institution	= {Department of Computer Science, The Universiy of Waikato
		  (New Zealand)},
  language	= {UKenglish},
  number	= {04/2006},
  title		= {A taxonomy of model-based testing},
  url		= {http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-04.pdf}
		  ,
  year		= 2006,
  user		= {pretscha}
}