Designing Control Software for Robot Swarms: Software Engineering for the Development of Automatic Design Methods | IEEE Conference Publication | IEEE Xplore