Gil, A., Aguilar, J., Dapena, E. and Rivas, R. 2018. Verification of the emergence in an architecture for multi-robot systems (AMEB). Latin-American Journal of Computing. 5, 2 (Dec. 2018), 41 - 52.