Mitchell Flatebo Ajoy Kumar Datta Simulation of self-stabilizing algorithms in distributed systems. 32-41 1992 conf/anss/1992 Annual Simulation Symposium http://doi.acm.org/10.1145/306902.306922 db/conf/anss/anss1992.html#FlateboD92