Swarm Robotics: A Formal Approach | Heiko Hamann