Safety Instrumented Systems Verification: Practical Probabilistic Calculation