Fault tree and cause consequence analysis for control software validation - Taylor, J. R. (rz1, 1982)