1. IEEE Std 7.4.3.2-1993, IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generation Stations.
2. IEC Pub 880-1986, Software for computers in the safety systems of nuclear power stations.
3. Li, F., Zhang, L., An, Z., Yang, Z., (2000), The V&V Activities on the Digital Protection System of HTR-10 in China, Second IAEA research coordination meeting on ‘Scientific Basis and Engineering Solutions for Cost-Effective Assessments of Software Based I&C Systems’, December 4–8, 2000, Halden, Norway.