Fault-class-aware fault tree generation and analysis | IEEE Conference Publication | IEEE Xplore