Aslansefat, Koorosh, Latif-Shabgahi, Gholam-Reza, "A Hierarchical Approach for Dynamic Fault Trees Solution Through Semi-Markov Process", IEEE Transactions on Reliability, 2020