Analysis of large fault trees based on functional decomposition · Study