Self-Stabilizing Systems - Tixeuil, Sébastien (Springer Berlin Heidelberg, 2020)