@InProceedings{AFG+09,
author={H. Aljazzar and M. Fischer and L. Grunske and M. Kuntz and F. Leitner and S. Leue},
title={Safety Analysis of an Airbag System using Probabilistic {FMEA} and Probabilistic Counter Examples},
booktitle={Proc. 6th International Conference on Quantitative Evaluation of Systems (QEST'09)},
year={2009},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}