Design optimization of a safety-instrumented system based on RAMS+C addressing IEC 61508 requirements and diverse redundancy | Publicación