A pattern-based methodology for reliability assessment of safety instrumented systems | IEEE Conference Publication | IEEE Xplore