GOBEAT: Towards a Methodology to Support MAS Test Case Definition | IEEE Conference Publication | IEEE Xplore