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