@conference {81,
	title = {Modelling, Reduction and Analysis of Markov Automata},
	booktitle = {Quantitative Evaluation of Systems, QEST 2013},
	series = {Lecture Notes in Computer Science},
	volume = {8054},
	year = {2013},
	pages = {55-71},
	publisher = {Springer},
	organization = {Springer},
	author = {Dennis Guck and Hassan Hatefi and Holger Hermanns and Joost-Pieter Katoen and Mark Timmer}
}