Overview of IEC 61508. Design of electrical/electronic/programmable electronic safety-related systems | Synapse