D’Argenio, P. ., Gerhold, M. ., Hartmanns, A. ., & Sedwards, S. . (2018). A Hierarchy of Scheduler Classes for Stochastic Automata. Thessaloniki, Greece: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-89366-2_21