Title: A formal approach to hazard decomposition in Software Fault Tree Analysis
Subjects: Digital control systems, Computer science