Reactivity and Social Cooperation in a Multi-Robot System Topics: Formal Methods; Model-Driven Engineering; Software and Systems Integration; Software and Systems Quality In Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 0ICSOFT, 253-260, 2015 , Colmar, Alsace, France