An automatic approach to self-stabilization | IEEE Conference Publication | IEEE Xplore