Towards a Formal Specification for Self-organized Shape Formation in Swarm Robotics