ADTool: Security Analysis with Attack-Defense Trees (Extended Version)
The Use of Attack Trees in Assessing Vulnerabilities in SCADA Systems