Safety Instrumented System Design: Techniques and Design Verification