Pandora : a logic for the qualitative analysis of temporal fault trees. - Martin David Walker (2009)