@inproceedings{calinescu2017rodes,
  title={{RODES: A Robust-Design Synthesis Tool for Probabilistic Systems}},
  author={Calinescu, Radu and Ce{\v{s}}ka, Milan and Gerasimou, Simos and Kwiatkowska, Marta and Paoletti, Nicola},
  booktitle={International Conference on Quantitative Evaluation of Systems (QEST 2017)},
  pages={304--308},
  year={2017},
  organization =  {Springer},
  url = {https://link.springer.com/chapter/10.1007/978-3-319-66335-7_20},
  doi = {10.1007/978-3-319-66335-7_20}
}