Gil, A.; Aguilar, J.; Dapena, E.; Rivas, R. Verification of the Emergence in an Architecture for Multi-Robot Systems (AMEB). LAJC 2018, 5, 41 - 52.