Definition and specification of accrual failure detectors | IEEE Conference Publication | IEEE Xplore