Specifying A Domain Specific Language For Cooperative Robotics