Nikolaus Correll: Coordination schemes for distributed boundary coverage with a swarm of miniature robots - synthesis, analysis and experimental validation. EPFL, Switzerland 2007