Mahmud, Nidhal, Papadopoulos, Yiannis, Walker, Martin, "A translation of state machines to temporal fault trees", Proceedings of the International Conference on Dependable Systems and Networks, 2010