Models and Methodology for Automated Business Continuity Analysis. - Ulrich Winkler; Wasif Gilani; Alex Guitman; Alan Marshall 001 (ICECCS, 2012)