Space-Time Continuous Models of Swarm Robotic Systems : Supporting Global-to-Local Programming - Hamann, Heiko. (Springer Berlin Heidelberg : Imprint: Springer, 2010)