@article {147,
	title = {Model Checking Algorithms for Markov Automata},
	journal = {ECEASST},
	volume = {53},
	year = {2012},
	author = {Hassan Hatefi and Holger Hermanns}
}