@misc{indiciae51e0449c81e8,
  title = {Fuzzy Fault Trees: the Fast and the Formal},
  author = {Thi Kim Nhung Dang and Benedikt Peterseim and Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga},
  year = {2026},
  doi = {10.1007/978-3-032-05792-1\_14},
  url = {https://arxiv.org/abs/2507.02886},
  note = {Source identifier: 2507.02886}
}