Gaphor is the simple modeling tool
Computation of minimal cutsets using MOCUS Algorithm
dftlib - Python library for dynamic fault tree analysis
