Abhishek Dhama Oliver E. Theel Pepijn Crouzen Holger Hermanns Ralf Wimmer Bernd Becker Dependability Engineering of Silent Self-stabilizing Systems. 238-253 2009 SSS http://dx.doi.org/10.1007/978-3-642-05118-0_17 conf/sss/2009 db/conf/sss/sss2009.html#DhamaTCHWB09