Improving likelihood calculation by mapping MITRE ATT&CK to existing controls | Synapse