Gil, Angel, Jose Aguilar, Eladio Dapena, and Rafael Rivas. 2018. “Verification of the Emergence in an Architecture for Multi-Robot Systems (AMEB)”. Latin-American Journal of Computing 5 (2), 41 - 52. https://lajc.epn.edu.ec/index.php/LAJC/article/view/154.