Title: High integrity software for nuclear power plants
Subjects: Safety measures, Nuclear power plants, Data processing