@conference {375,
	title = {Modelling and Analysis of Markov Reward Automata},
	booktitle = {Automated Technology for Verification and Analysis - 12th International Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings},
	year = {2014},
	doi = {10.1007/978-3-319-11936-6_13},
	url = {http://dx.doi.org/10.1007/978-3-319-11936-6_13},
	author = {Dennis Guck and Mark Timmer and Hassan Hatefi and Enno Ruijters and Mari{\"e}lle Stoelinga}
}