Weighted restarting automata - Wang, Qichao (Kassel University Press, 2018)