CORRIGENDUM to A failure detector for HPC platforms. (November 2019) - Unknown