Edifor, Ernest, Walker, Martin, Gordon, Neil, "Quantification of priority-OR gates in temporal fault trees", Lecture Notes in Computer Science, 2012