Modeling patterns for reliability assessment of safety instrumented systems · Study