Tight complexity analysis of population protocols with cover times — The ZebraNet example. - Beauquier, J.; Blanchard, P.; Burman, J.; Delaët, S. (Theoretical Computer Science, 2013)