Kabir, Sohag, Walker, Martin, Papadopoulos, Yiannis, "Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks", , 2025