A mathematical framework to optimize resilience of interdependent critical infrastructure systems under spatially localized attacks