@STRING{fdl	= {Forum on Specification and Design Languages} }
@InProceedings{MGD:2011,
  author        = {Marc Michael and Daniel Gro{\ss}e and Rolf Drechsler},
  title		= {Analyzing Dependability Measures at the {E}lectronic {S}ystem {L}evel},
  booktitle     = fdl,
  pages         = {1--8},
  year		= 2011
}