An automated methodology for generating a fault tree · Study