Model-based Quantitative Fault Tree Analysis based on FIDES Reliability Prediction | IEEE Conference Publication | IEEE Xplore