Kabir, Sohag, Papadopoulos, Yiannis, Walker, Martin, "Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets", IFAC-PapersOnLine, 2015