D'Argenio, Gerhold, Hartmanns, Sedwards, 2017. A Hierarchy of Scheduler Classes for Stochastic Automata.