@misc{indiciae2c581c2bc0d3,
  title = {Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies},
  author = {Reza Soltani and Stefano M. Nicoletti and Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga},
  year = {2025},
  url = {https://arxiv.org/abs/2506.23789},
  note = {Source identifier: 2506.23789}
}