@misc{indiciaef63de190289c,
  title = {QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification},
  author = {Florian Dorfhuber and Julia Eisentraut and Katharina Klioba and Jan Kretinsky},
  year = {2024},
  url = {https://arxiv.org/abs/2406.15605},
  note = {Source identifier: 2406.15605}
}