Bartocci, E., Bortolussi, L., Nenzi, L., & Sanguinetti, G. (2015). System design of stochastic models using robustness of temporal properties. Theoretical Computer Science, 587, 3 - 25. https://doi.org/http://dx.doi.org/10.1016/j.tcs.2015.02.046
