Runtime models for automatic reorganization of multi-robot systems.