Kabir, S., Walker, M., & Papadopoulos, Y. (2014). Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks. In Model-Based Safety and Assessment; Lecture Notes in Computer Science (96-109). Springer Verlag. https://doi.org/10.1007/978-3-319-12214-4_8