Predeployment validation of fault-tolerant systems through software-implemented fault insertion - Czeck, Edward W. (NASA contractor report, 1989)