IEC 61508 Specification HW/SW