Edifor, Ernest, Walker, Martin, Gordon, Neil, "Quantification of Simultaneous-AND Gates in Temporal Fault Trees", Advances in Intelligent Systems and Computing, 2025