@misc{indiciaeca1e29e7f64d,
  title = {A storm is Coming: A Modern Probabilistic Model Checker},
  author = {Christian Dehnert and Sebastian Junges and Joost-Pieter Katoen and Matthias Volk},
  year = {2017},
  url = {https://arxiv.org/abs/1702.04311},
  note = {Source identifier: 1702.04311}
}