Text this: Swarm Robotics: A Formal Approach