Synthetic tree model: a formal methodology for fault tree construction · Study