Assured System-Level Resilience for Guaranteed Disaster Response | IEEE Conference Publication | IEEE Xplore