@conference {354,
	title = {Abstraction-Based Computation of Reward Measures for Markov Automata},
	booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
	year = {2015},
	doi = {10.1007/978-3-662-46081-8_10},
	url = {http://dx.doi.org/10.1007/978-3-662-46081-8_10},
	author = {Bettina Braitling and Ferrer Fioriti, Luis Mar{\'\i}a and Hassan Hatefi and Ralf Wimmer and Bernd Becker and Holger Hermanns}
}