Safety Instrumented Systems: Design, Analysis, and Justifica