@article{calinescu2018efficient,
  title={Efficient Synthesis of Robust Models for Stochastic Systems},
  author={Calinescu, Radu and Ce{\v{s}}ka, Milan and Gerasimou, Simos and Kwiatkowska, Marta and Paoletti, Nicola},
  journal={Journal of Systems and Software},
  volume={143},
  pages={140--158},
  year={2018},
  publisher={Elsevier},
  url = {https://www.sciencedirect.com/science/article/pii/S0164121218300967},
  doi = {10.1016/j.jss.2018.05.013}
}