Winfield, A. F., Sa, J., Fernandez-Gago, M., Dixon, C., & Fisher, M. (2005). On formal specification of emergent behaviours in swarm robotic systems. International Journal of Advanced Robotic Systems, 2(4), 363-370. https://doi.org/10.5772/5769