@InProceedings{CCGKP17,
author={Radu Calinescu and Milan Ceska and Simos Gerasimou anf Marta Kwiatkowska and Nicola Paoletti},
title={Designing Robust Software Systems through Parametric Markov Chain Synthesis},
booktitle={Proc. IEEE International Conference on Software Architecture (ICSA'17)},
year={2017},

editors={},
pages={131-140},
organization={},
publisher={IEEE Computer Society},
series={},
volume={},
address={},
month={},
note={},
key={}
}