@InProceedings{GCW07,
author={L. Grunske and R. Colvin and K. Winter},
title={Probabilistic Model-Checking Support for FMEA},
booktitle={Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07)},
year={2007},

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