Elias P. Duarte, Luiz A. Rodrigues, Edson Tavares de Camargo, Rogério C. Turchetti: The missing piece: a distributed system-level diagnosis model for the implementation of unreliable failure detectors. Computing 105(12): 2821-2845 (2023)