Modeling and reliability assessment of a 3-channel safety-instrumented system | IEEE Conference Publication | IEEE Xplore