Checking Social Properties of Multi-agent Systems with Activity Theory | Publicación