Simulation of emergence in artificial societies: a practical model-based approach with the EB-DEVS formalism