Safety Instrumented Systems Verification by William M. Goble & Harry Cheddie