@misc{indiciae303287f20b6e,
  title = {The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains},
  author = {Nils Jansen and Erika Ábrahám and Maik Scheffler and Matthias Volk and Andreas Vorpahl and Ralf Wimmer and Joost-Pieter Katoen and Bernd Becker},
  year = {2012},
  url = {https://arxiv.org/abs/1206.0603},
  note = {Source identifier: 1206.0603}
}