Kabir, Sohag, Papadopoulos, Yiannis, Walker, Martin, Parker, David, Aizpurua, Jose Ignacio, Lampe, Jörg, Rüde, Erich, "A model-based extension to HiP-HOPS for dynamic fault propagation studies", Lecture notes in computer science, 2017