7IEC6088022-2000 Sof tware for computer in the safety systems of nuclear power stations part 2:Sol tware aspect s of defense against common cause failures,use of sol tware tools of pre2devel2 oped sol tware[S]. Geneva:IEC,2000.
8ASME Boiler and Pressure Vessel Code,Section II1,Division 1,Appendices,2004 Edition[S].