SIL Assessment (qualitative or quantitative e.g. LOPA)  and Verification based on IEC-61508 and IEC-61511