@misc{indiciae42f0fab017e3,
  title = {PFL: a Probabilistic Logic for Fault Trees},
  author = {Stefano M. Nicoletti and Milan Lopuhaä-Zwakenberg and E. Moritz Hahn and Mariëlle Stoelinga},
  year = {2025},
  doi = {10.1007/978-3-031-27481-7\_13},
  url = {https://arxiv.org/abs/2303.17314},
  note = {Source identifier: 2303.17314}
}