Calinescu, et al.. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier BV, 2018, doi:10.1016/j.jss.2018.05.013.