Edifor, E., Walker, M., & Gordon, N. Quantification of priority-OR gates in temporal fault trees