@misc{indiciaee912ac70582f,
  title = {PRESTO: Predicting System-level Disruptions through Parametric Model Checking},
  author = {Xinwei Fang and Radu Calinescu and Colin Paterson and Julie Wilson},
  year = {2022},
  url = {https://arxiv.org/abs/2205.03628},
  note = {Source identifier: 2205.03628}
}