Developing Safety Systems: A Guide Using Ada
I. C. Pyle · 1991
Responsibility control systems software for safety safety requirements analysis of safety and danger software construction principles software structure logical design physical design checking principles formal checks inspection testing evidence for certification.