Edifor, Ernest, Gordon, Neil, Walker, Martin, "Dependability Analysis Using Temporal Fault Trees and Monte Carlo Simulation", , 2025