Automated fault tree analysis via AI/ES | IEEE Conference Publication | IEEE Xplore