Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems