@misc{indiciae0d9a7b484219,
  title = {An Approach to Generate Attack Graphs with a Case Study on Siemens PCS7 Blueprint for Water Treatment Plants},
  author = {Lucas Miranda and Carlos Banjar and Daniel Menasche and Anton Kocheturov and Gaurav Srivastava and Tobias Limmer},
  year = {2026},
  doi = {10.1145/3786165.3788442},
  url = {https://arxiv.org/abs/2603.24888},
  note = {Source identifier: 2603.24888}
}