Abhishek Dhama Jens Oehlerking Oliver E. Theel Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. 23-30 2006 conf/icpads/2006 ICPADS (1) http://doi.ieeecomputersociety.org/10.1109/ICPADS.2006.108 db/conf/icpads/icpads2006-1.html#DhamaOT06