Chapp, D.; Sato, K.; Ahn, D. H.; Taufer, M. Record-and-Replay Techniques for HPC Systems: A Survey. superfri 2018, 5, 11-30.