.. _references:

##########
References
##########

Papers
======

.. [BRB90] K. Brace, R. Rudell, and R. Bryant,
           "Efficient implementation of a BDD package,"
           in Proc. 27th ACM/IEEE Design Automation Conf., IEEE 0738, 1990.

.. [Bry86] R. Bryant,
           "Graph based algorithms for boolean function manipulation,"
           IEEE Trans. Comp., vol. 35, no. 8, pp. 677-691, 1986.

.. [DR96] Y. Dutuit and A. Rauzy,
          "A linear time algorithm to find modules of fault trees,"
          IEEE Trans. Reliab. Eng. Syst. Saf., vol. 45, no. 3, pp. 422-425, 1996.

.. [DR01] Y. Dutuit and A. Rauzy,
          "Efficient algorithms to assess component and gate importance in fault tree analysis,"
          IEEE Trans. Reliab. Eng. Syst. Saf., vol. 72, no. 2, pp. 213-222, 2001.

.. [DR05] Y. Dutuit and A. Rauzy,
          "Approximate estimation of system reliability via fault trees",
          IEEE Trans. Reliab. Eng. Syst. Saf., vol. 87, no. 2, pp. 163–172, 2005.

.. [DRS08] Y. Dutuit, A. Rauzy, and J.-P. Signoret,
           "A snapshot of methods and tools to assess safety integrity levels of high integrity protection systems",
           Proceedings of the Institution of Mechanical Engineers,
           Part O, Journal of risk and reliability, vol. 222, no. 3, pp. 371-379, 2008.

.. [Jun09] W. Jung,
           "ZBDD algorithm features for an efficient probabilistic safety assessment,"
           Nuc. Eng. Des., vol. 239, pp. 2085-2092, 2009.

.. [Min93] S. Minato,
           "Zero-suppressed BDD's for set manipulation in combinatorial problems,"
           in Proc. 30th ACM/IEEE Design Automation Conf., pp. 272-277, 1993.

.. [Nie94] I. Niemelä,
           "On simplification of large fault trees,"
           IEEE Trans. Reliab. Eng. Syst. Saf., vol. 44, pp. 135-138, 1994.

.. [NR99] M. Nikolskaia and A. Rauzy,
          "Fine-tuning of boolean formulae preprocessing techniques,"
          in Proc. ESREL Conf., vol. 2, pp. 1027-1032, 1999.

.. [PA09] R. Remenyte-Prescott and J. Andrews,
          "An efficient real-time method of analysis for non-coherent fault trees,"
          Qual. Reliab. Eng. Int., no. 25, pp. 129-150, 2009.

.. [Rau93] A. Rauzy,
           "New algorithms for fault trees analysis,"
           IEEE Trans. Reliab. Eng. Syst. Saf., vol. 5, no. 59, pp. 203-211, 1993.

.. [Rau01] A. Rauzy,
           "Mathematical foundation of minimal cutsets,"
           IEEE Trans. Reliab. Eng. Syst. Saf., vol. 50, no. 4, pp. 389-396, 2001

.. [Rau03] A. Rauzy,
           "Towards an efficient implementation of MOCUS,"
           IEEE Trans. Reliab. Eng. Syst. Saf., vol. 52, no. 2, pp. 175-180, 2003.

.. [WakXX] D. Wakefield,
           "You can't just build trees and call it PSA"


Standards, Guides, Manuals, Handbooks
=====================================

.. [MEF] `Open PSA Model Exchange Format <https://open-psa.github.io/mef>`_

.. [NUREG0492] `NRC NUREG-0492 <https://www.nrc.gov/reading-rm/doc-collections/nuregs/staff/sr0492/>`_

.. [WASH1400] `NRC NUREG-75/014 (WASH-1400), Appendices III & IV <https://www.nrc.gov/reading-rm/doc-collections/nuregs/staff/sr75-014/appendix-iii-iv/>`_

.. [CR2300] `NRC NUREG/CR-2300 (PRA Procedure Guide), Vols 1 & 2 <https://www.nrc.gov/reading-rm/doc-collections/nuregs/contract/cr2300/>`_

.. [FTACOURSE] Bill Vesely,
               "FTA: Concepts and Applications,"
               NASA Headquarters, Washington DC, 2002.

.. [FTHB] NASA Office of Safety and Mission Assurance,
          "Fault tree handbook with aerospace applications,"
          NASA Headquarters, Washington DC, 2002.

.. [STTFTA] `Software Test Techniques for System Fault-Tree Analysis <http://www.cs.virginia.edu/~jck/publications/safecomp.97.pdf>`_


Web Resources
=============

.. [OPSA] `The Open-PSA Initiative <https://open-psa.github.io>`_

.. [PRA] `PRA Wiki Page <https://en.wikipedia.org/wiki/Probabilistic_risk_assessment>`_
.. [FTA] `FTA Wiki Page <https://en.wikipedia.org/wiki/Fault_tree_analysis>`_
.. [ETA] `ETA Wiki Page <https://en.wikipedia.org/wiki/Event_tree_analysis>`_
.. [HA] `Hazard Analysis Wiki Page <https://en.wikipedia.org/wiki/Hazard_analysis>`_
.. [RBD] `RBD Wiki Page <https://en.wikipedia.org/wiki/Reliability_block_diagram>`_
.. [FMEA] `FMEA Wiki Page <https://en.wikipedia.org/wiki/Failure_mode_and_effects_analysis>`_
.. [FM] `Failure Modes Wiki Page <https://en.wikipedia.org/wiki/Failure_causes>`_
.. [FR] `Failure Rate Wiki Page <https://en.wikipedia.org/wiki/Failure_rate>`_
.. [HE] `Human Error Wiki Page <https://en.wikipedia.org/wiki/Human_error>`_
.. [SC] `Safety Culture Wiki Page <https://en.wikipedia.org/wiki/Safety_culture>`_
.. [SA] `Sensitivity Analysis Wiki Page <https://en.wikipedia.org/wiki/Sensitivity_analysis>`_
.. [UA] `Uncertainty Quantification Wiki Page <https://en.wikipedia.org/wiki/Uncertainty_quantification>`_
.. [CCF] `Common Cause Wiki Page <https://en.wikipedia.org/wiki/Common_cause_and_special_cause_(statistics)>`_

.. [IEC_61508] `IEC 61508 Wiki Page <https://en.wikipedia.org/wiki/IEC_61508>`_
.. [SIL] `Safety Integrity Level Wiki Page <https://en.wikipedia.org/wiki/Safety_integrity_level>`_

.. [PDAG] `Propositional DAG Wiki Page <https://en.wikipedia.org/wiki/Propositional_directed_acyclic_graph>`_
.. [BDD] `BDD Wiki Page <https://en.wikipedia.org/wiki/Binary_decision_diagram>`_
.. [ZBDD] `ZBDD Wiki Page <https://en.wikipedia.org/wiki/Zero-suppressed_decision_diagram>`_
.. [NNF] `Negation Normal Form Wiki Page <https://en.wikipedia.org/wiki/Negation_normal_form>`_
