1. Current State of Reliability Modeling Methodologies for Digital Systems and Their Acceptance Criteria for Nuclear Power Plant;Aldemir,1999
2. Dependency Modelling Using Fault Tree Analysis;Andrews,1999
3. Black-Box Testing: Techniques for Functional Testing of Software and Systems;Beizer,1995
4. Licensing of Safety Critical Software for Nuclear Reactors Common Position of International Nuclear Regulators and Authorised Technical Support Organisations;Bel,2015
5. (Availability of) An International Report on Safety Critical Software for Nuclear Reactors by the Regulator Task Force on Safety Critical Software (TF-SCS);Birla,2015