Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints | IEEE Conference Publication | IEEE Xplore