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