Weighted attack trees for the cybersecurity analysis of SCADA systems