SafeTimer is a prototype system helps to prevent false timeout detection which might be caused by heartbeat delay/drop on receiver and sender side.
Full details of SafeTimer are available in our paper, Accurate Timeout Detection Despite Arbitrary Processing Delays, USENIX ATC 2018.
Slides describe the fundamental ideas of SafeTimer are avilable, pdf.
The document about how to build and use SafeTimer will be accomplished shortly.