SELMAS: Software Engineering for Large-Scale Multi-Agent Systems