Katinka Wolter Andrea Zisowsky On Markov reward modelling with FSPNs. 165-186 2001 44 Perform. Eval. 1-4 db/journals/pe/pe44.html#WolterZ01