@misc{indiciae9883e9b12754,
  title = {Imprecise Continuous-Time Markov Chains},
  author = {Thomas Krak and Jasper De Bock and Arno Siebes},
  year = {2017},
  url = {https://arxiv.org/abs/1611.05796},
  note = {Source identifier: 1611.05796}
}