Walker, Martin, Papadopoulos, Yiannis, "Synthesis and analysis of temporal fault trees with PANDORA: the time of Priority AND gates", Nonlinear Analysis: Hybrid Systems, 2008