Solving Large Fault Trees with Importance Sampling and Tree Search | IEEE Conference Publication | IEEE Xplore