An Integrated Approach for the Development and Validation of Multi Agent Systems