Ffort: A Benchmark Suite for Fault Tree Analysis · Study