Parametric Analyses of Attack-Fault Trees | IEEE Conference Publication | IEEE Xplore