A Business-Oriented Approach to Automated Threat Analysis for Large-Scale Infrastructure Systems | Synapse