Swarm Robotics: A Formal Approach - Hamann, Heiko; Hamann, Heiko (Springer International Publishing : Imprint: Springer, 2018)