Probabilistic availability risk assessments without simulation | IEEE Conference Publication | IEEE Xplore