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