Stéphane DevismesBooksIntroduction to Distributed Self-Stabilizing AlgorithmsStabilization, Safety, and Security of Distributed SystemsAuthor data: Open Library