@inproceedings{quantifyingsoftwarereliabilityviamodel,
  title = {Quantifying Software Reliability via Model-Counting},
  author = {Samuel Teuber and Alexander Weigl},
  year = {2021},
  booktitle = {International Conference on Quantitative Evaluation of Systems 2021 8},
  url = {https://link.springer.com/chapter/10.1007/978-3-030-85172-9_4},
}