Hahn, Hermanns, 2013. Rewarding probabilistic hybrid automata, in: . ACM Press.. https://doi.org/10.1145/2461328.2461375