Swarm Robotics: A Formal Approach - Hamann, Heiko (Springer International Publishing, 2020)