Software in safety-related systems : a report /
Institution of Electrical Engineers.
British Computer Society.
London : The Institution,
c1989.