Publication [HartmannsH15b] In the quantitative automata zoo Hartmanns, A. and Hermanns, H. In Sci. Comput. Program., 112: 3-23, 2015. doi.. Downloads: bibURL: https://doi.org/10.1016/j.scico.2015.08.009
