Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees. - Reza Soltani 001; Pablo Diale; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga (CoRR, 2025)