A Hierarchical Approach for Dynamic Fault Trees Solution Through Semi-Markov Process · Study