A Stochastic Model of Self-Stabilizing Cellular Automata for Consensus Formation