Practical design of safety-critical computer systems - Dunn, William R., Ph.D. (Reliability Press, 2002)