Failure detectors as first class objects | IEEE Conference Publication | IEEE Xplore