SAFEST

The static and dynamic fault tree analysis tool