Experimental analysis of specification language diversity impact on NPP software diversity. - Chang Sik Yoo; Poong-Hyun Seong (J. Syst. Softw., 2002)