@inproceedings { , title = {A hierarchical method for the reduction of temporal expressions in Pandora}, abstract = {Fault Tree Analysis (FTA) is a popular safety analysis technique used to determine the logical combination of events needed to cause a particular system failure. However, FTA is purely combinatorial and cannot analyse the effects of sequences of events. A recent technique named Pandora was proposed as one method of overcoming this limitation by introducing a temporal logic to fault trees, but the resulting expressions are generally more complex. In this paper, we propose a hierarchical method for reducing these expressions to simpler logical equivalents, which can be more easily understood and thus provide a better view of the system failure behaviour.}, conference = {Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10}, doi = {10.1145/1772630.1772634}, isbn = {9781605589169}, journal = {ACM International Conference Proceeding Series}, note = {Batch 005. Output ID 37249. Please change publication type from 'Conference proceedings' to 'Conference contribution'. (30/11/11) Changes still not made (06/12/11)}, pages = {43076}, publicationstatus = {Published}, url = {https://hull-repository.worktribe.com/output/405517}, keyword = {Specialist Research - Other}, year = {2010}, author = {Walker, Martin and Papadopoulos, Yiannis} }