1. IEC 61508: “Functional safety of electrical/electronic/programmable electronic safety-related systems”, (1995).
2. RTCA/DO-178B: “Software Considerations in Airborne Systems and Equipment Certifications”, (1992).
3. IMPRESS: “Improving the software process using bayesian nets”. EPSRC project nr. GR/L06683, (1999). (
http://www.csr.city.ac.uk/csr_city/projects/impress.html
)
4. SERENE: “Safety and Risk Evaluation using Bayesian Nets”. ESPRIT Framework IV nr. 22187, (1999). (
http://www.hugin.dk/serene/
)
5. Aldenryd, S. H., Jensen, K. B., Nielsen L. B.: “Hugin Runtime for MS-Windows”, (1993).