a tool for working with self-stabilizing algorithms