Safety Instrumented Systems: Design, Analysis, and Justification, Second Edition