Modelling, reduction and analysis of Markov automata (2013)

by D Guck, H Hatefi, H Hermanns, J-P Katoen, M Timmer
Venue:In QEST, LNCS