Safety Instrumented Systems: Design, Analysis, and Justification, 2nd Edition