Describir: Multi-Robot Systems: Modeling, Specification, and Model Checking