Fault-Tolerant Termination Detection with Safra's Algorithm. - Georgios Karlos; Wan J. Fokkink; Per Fuchs (NETYS, 2021)