Automated Security Analysis for Industrial Control Systems based on MITRE ATT&CK and IEC 62443 | Synapse