Walker, M. (. D. Pandora : a logic for the qualitative analysis of temporal fault trees. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4209344