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