@misc{indiciae28cff6e81a3b,
  title = {Analysis of Timed and Long-Run Objectives for Markov Automata},
  author = {Dennis Guck and Hassan Hatefi and Holger Hermanns and Joost-Pieter Katoen and Mark Timmer},
  year = {2014},
  doi = {10.2168/lmcs-10(3:17)2014},
  url = {https://arxiv.org/abs/1407.7356},
  note = {Source identifier: 1407.7356}
}