Combining Simulation and Formal Tools for Developing Self-Organizing MAS