@inproceedings{calinescu2017designing,
  title={{Designing Robust Software Systems through Parametric Markov Chain Synthesis}},
  author={Calinescu, Radu and Ce{\v{s}}ka, Milan and Gerasimou, Simos and Kwiatkowska, Marta and Paoletti, Nicola},
  booktitle={Software Architecture (ICSA), 2017 IEEE International Conference on},
  pages={131--140},
  year={2017},
  organization={IEEE},
  url = {http://ieeexplore.ieee.org/document/7930209/},
  doi = {10.1109/ICSA.2017.16}
}