Automatic success tree-based reliability analysis for the consideration of transient and permanent faults | IEEE Conference Publication | IEEE Xplore