1. AgenaRisk. 2010. .
2. Bangsø, O., Wuillemin, P.H., 2000. Top-down construction and repetitive structures representation in Bayesian networks. In: Proceedings of the Thirteenth International Florida Artificial Intelligence Research. 2820286.
3. BTP-7-14. Guidance on software reviews for digital computer-based instrumentation and control systems. NUREG-0800, Standard review plan: branch technical position 7–14, Revision 5. Nuclear Regulatory Commission.
4. The infeasibility of quantifying the reliability of life-critical real-time software;Butler;IEEE Trans. Softw. Eng.,1993
5. DATUM. Dependability assessment of safety critical systems through the unification of measurable evidence. 1993–1996. UK safety critical systems research programme EPSRC GR/H89944 and DTI IED4/19314.