Title: Justifying the Dependability of Computer-based Systems
Subjects: Computers, reliability, Nuclear power plants, Nuclear engineering, safety measures