Bayes inference for reliability of HV insulation systems in the presence of switching voltage surges using a Weibull stress-strength model | IEEE Conference Publication | IEEE Xplore