@conference {275,
	title = {MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata},
	booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2014, Grenoble, France, 12-13 April 2014.},
	year = {2014},
	doi = {10.4204/EPTCS.154.4},
	url = {http://dx.doi.org/10.4204/EPTCS.154.4},
	author = {Bettina Braitling and Ferrer Fioriti, Luis Mar{\'\i}a and Hassan Hatefi and Ralf Wimmer and Bernd Becker and Holger Hermanns}
}