Safety Instrumented Systems Verification: Practical Probabilistic Calculations