Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.) - View it on GitHub