@InProceedings{	  pretschner:doctoral:2008,
  author	= {Alexander Pretschner},
  booktitle	= {MODELS 2008},
  language	= {USenglish},
  month		= {October},
  publisher	= {Springer},
  title		= {Doctoral Symposium},
  year		= 2008,
  user		= {pretscha}
}