Quantitative Security and Safety Analysis with Attack-Fault Trees | IEEE Conference Publication | IEEE Xplore