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