SEARCH Articles Figures Tables Logic solver systems Safety instrumentation systems Safety instrumented system Solver