Αποστολή με SMS: Swarm Robotics: A Formal Approach