Dehnert, et al.. Prophesy: A Probabilistic Parameter Synthesis Tool. Springer International Publishing, 2015, doi:10.1007/978-3-319-21690-4_13.