Reliability analysis of redundant schemes for subsea oil and gas production control systems | Synapse