Using fault trees to analyze safety-instrumented systems | IEEE Conference Publication | IEEE Xplore