Edifor, E., Walker, M., & Gordon, N. (2012). Quantification of priority-OR gates in temporal fault trees. Lecture Notes in Computer Science, 7612 LNCS, 99-110. https://doi.org/10.1007/978-3-642-33678-2_9