Kabir, S., Papadopoulos, Y., Walker, M., Parker, D., Aizpurua, J. I., Lampe, J., & Rüde, E. (2017). A model-based extension to HiP-HOPS for dynamic fault propagation studies. Lecture notes in computer science, 10437 LNCS, 163-178. https://doi.org/10.1007/978-3-319-64119-5_11