Cristian Martín, Mikel Larrea, Ernesto Jiménez: On the implementation of the Omega failure detector in the crash-recovery failure model. ARES 2007: 975-982