Practical Design of Safety - Critical Computer Systems - Dunn, William R. (Reliability Press, 2002)