Nils Müllner, Oliver E. Theel, Martin Fränzle: Combining decomposition and reduction for state space analysis of a self-stabilizing system. J. Comput. Syst. Sci. 79(7): 1113-1125 (2013)