Development of automatic fault tree synthesis system using decision matrix · Study