Survey: Automatic generation of attack trees and attack graphs | Synapse