R. Andrade, A. Mascarenhas, and M. Simões. " GOBEAT: Towards a Methodology to Support MAS Test Case Definition", in Proceedings of the 15th Brazilian Symposium on Robotics and 20th Latin American Robotics Symposium, Salvador/BA, 2023, pp. 218-223.