A Hierarchy of Scheduler Classes for Stochastic Automata. - D'Argenio, Pedro R.; Gerhold, Marcus; Hartmanns, Arnd; Sedwards, Sean (CoRR, 2017)