Distributed execution model for self-stabilizing systems | IEEE Conference Publication | IEEE Xplore