@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} }