Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. - Faghih, Fathiyeh; Bonakdarpour, Borzoo; Tixeuil, Sébastien; Kulkarni, Sandeep (Formal Techniques for Distributed Objects, Components & Systems (9783319395692), 2016)