Edifor, E., Walker, M., & Gordon, N. Quantification of Simultaneous-AND Gates in Temporal Fault Trees