A contribution to reliability assessment of safety-instrumented systems · Study