Walker, M., & Papadopoulos, Y. (2008). Synthesis and analysis of temporal fault trees with PANDORA: the time of Priority AND gates. Nonlinear Analysis: Hybrid Systems, 2(2), 368-382. https://doi.org/10.1016/j.nahs.2006.05.003