Show HN: SCRAM – event-tree and fault-tree analysis
scram-pra.org