@Talk{		  talk:altenhofen.ea:issues:2010,
  isodate	= {2010-09-21},
  author	= {Michael Altenhofen and Achim D. Brucker},
  lecturer	= {Achim D. Brucker},
  title		= {Practical Issues with Formal Specifications: Lessons
		  Learned from an Industrial Case Study},
  event		= {FMICS 2010},
  address	= {Antwerp, Belgium},
  month		= sep,
  language	= {USenglish},
  day		= {21},
  year		= {2010},
  slides	= {http://www.brucker.ch/bibliography/download/2010/talk-altenhofen.ea-issues-2010.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2010/talk-altenhofen.ea-issues-2010-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-altenhofen.ea-issues-2010}
		  
}