@misc{indiciaeae77c95fa9f3,
  title = {Modelling, Reduction and Analysis of Markov Automata (extended version)},
  author = {Dennis Guck and Hassan Hatefi and Holger Hermanns and Joost-Pieter Katoen and Mark Timmer},
  year = {2013},
  url = {https://arxiv.org/abs/1305.7050},
  note = {Source identifier: 1305.7050}
}