Combining various solution techniques for dynamic fault tree analysis of computer systems | IEEE Conference Publication | IEEE Xplore