Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems Topics: Formal Methods; Intelligent Multi-Agent Systems; Requirements Elicitation and Specification In Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 0ICSOFT, 407-412, 2015 , Colmar, Alsace, France