Lightweight Methods for Automated Design of Self-Stabilization | IEEE Conference Publication | IEEE Xplore