Papadopoulos, Y., Walker, M., & Mahmud, N. (2012). Compositional synthesis of temporal fault trees from state machines. Performance evaluation review, 39(4), 79-88. https://doi.org/10.1145/2185395.2185444