@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", }