Papadopoulos, Yiannis, Walker, Martin, "Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook", Control engineering practice, 2009