Title: Development of a software safety process and a case study of its use
Subjects: Control systems design, Safety factors, Program verification (Computers), Human-computer interface, Software protection, Fault trees, Digital techniques, Nuclear reactors