Software fault tree analysis for product lines | IEEE Conference Publication | IEEE Xplore