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