@article{CCG+18,
title = "Efficient Synthesis of Robust Models for Stochastic Systems",
journal = "Journal of Systems and Software",
volume = "",
number = "",
pages = " - ",
year = "2018",
publisher = "Elsevier",
note = "",
issn = "",
doi = "",
url = "",
author = "Radu Calinescu and Milan Ceska and Simos Gerasimou and Marta Kwiatkowska and Nicola Paoletti",
}