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