@InProceedings{HKL+10,
author={B. Haverkort and M. Kuntz and F. Leitner-Fischer and A. Remke and S. Roolvink},
title={Probabilistic verification of architectural software models using {SoftArc} and {Prism}},
booktitle={Proc. ESREL Annual Conference},
year={2010},

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