FFTA: A fast fault tree analysis program · Study