@InProceedings{	  prenninger.ea:abstractions:2004,
  author	= {W. Prenninger and A. Pretschner},
  booktitle	= {2nd Intl. Workshop on Test and Analysis of Component Based
		  Systems},
  language	= {USenglish},
  month		= {March},
  title		= {Abstractions for Model-Based Testing},
  year		= 2004,
  user		= {pretscha}
}