An Automated Approach to Generate Attack Graphs with a Case Study on Siemens PCS7 Blueprint. - Lucas Guimarães Miranda; Carlos Eduardo De Schuller Banjar; Daniel Sadoc Menasché; Anton Kocheturov; Gaurav Kumar Srivastava; Tobias Limmer (SVM@ICSE, 2026)