Fault tree reduction and quantification—an overview of IRRAS algorithms · Study