The Cat Methodology for Fault Tree Construction · Study