2018. Verification of the emergence in an architecture for multi-robot systems (AMEB). Latin-American Journal of Computing. 5, 2 (Dec. 2018), 41–52.