https://9lib.org/document/y4wjd69q-formal-abstractions-automated-verification-synthesis-stochastic-systems.html