@misc{indiciaea48bbe2dcb9b,
  title = {Software Performability Analysis Using Fast Parametric Model Checking},
  author = {Xinwei Fang and Radu Calinescu and Simos Gerasimou and Faisal Alhwikem},
  year = {2022},
  url = {https://arxiv.org/abs/2208.12723},
  note = {Source identifier: 2208.12723}
}