@article {270,
	title = {Analysis of Timed and Long-Run Objectives for Markov Automata},
	journal = {Logical Methods in Computer Science},
	volume = {10},
	year = {2014},
	doi = {10.2168/LMCS-10(3:17)2014},
	url = {http://dx.doi.org/10.2168/LMCS-10(3:17)2014},
	author = {Dennis Guck and Hassan Hatefi and Holger Hermanns and Joost-Pieter Katoen and Mark Timmer}
}