Enabling Automated Fault Tree Assessment to Support Aircraft Systems Architecting in Early Design Phases. - Andrew K. Jeyaraj; Pierre-Olivier Paquette; Henry Wing; Santiago Valencia-Ibáñez; Yumna Zaheer; Susan Liscouët-Hanke (SysCon, 2025)