Software error analysis - Peng, Wendy W. (NIST special publication, 1993)