A Formal Development and Validation Methodology Applied to Agent-Based Systems