Papadopoulos, Yiannis, Walker, Martin, Mahmud, Nidhal, "Compositional synthesis of temporal fault trees from state machines", Performance evaluation review, 2012