Title: Design factors for safety-critical software
First published: 1994
Subjects: Development, Safety measures, Nuclear power plants, Data processing, Computer software