Jubran, Oday (2017) Recurrence in Self-Stabilization: Theory, Verification, and Application. PhD, Universität Oldenburg.