Design optimization of a safety-instrumented system based on RAMS plus C addressing IEC 61508 requirements and diverse redundancy