Developing a high-quality software tool for fault tree analysis | IEEE Conference Publication | IEEE Xplore