Models and Methodology for Automated Business Continuity Analysis | IEEE Conference Publication | IEEE Xplore