@InProceedings{CCG+17,
author={R. Calinescu and M. Ceska and S. Gerasimou and M. Kwiatkowska and N. Paoletti},
title={RODES: A Robust-Design Synthesis Tool for Probabilistic Systems},
booktitle={Proc. 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017)},
year={2017},
pages={},
organization={},
publisher={Springer},
series={LNCS},
volume={},
address={},
month={},
note={To appear.}
}