@InProceedings{	  salzmann.ea:icse:2004,
  author	= {C. Salzmann and T. Stauner and A. Pretschner},
  booktitle	= {ICSE 2004},
  language	= {USenglish},
  pages		= 779,
  publisher	= {IEEE},
  title		= {ICSE workshop: Software Engineering for Automotive
		  Systems},
  year		= 2004,
  user		= {pretscha}
}