Title: Practical design of safety-critical computer systems
Subjects: System design, Industrial safety, Automatic control, Reliability