Structured system threat modeling and mitigation analysis for industrial automation systems | Synapse