A First Step to Specify Arcade Games as Multi-agent Systems. - Carlos Marín-Lora; Alejandro Cercós; Miguel Chover; José Martínez Sotoca (WorldCIST (1), 2020)