Title: Software in safety-related systems
Subjects: Computer software, Reliability, Industrial safety, Computer programs, Mathematics