Software reliability through fault-avoidance and fault-tolerance [microform] : report #4 (9/1/90-2/28/91) on NAG-1-983 / by Mladen A. Vouk and David F. McAllister