Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization | IEEE Journals & Magazine | IEEE Xplore