Formal Specification of Multi-agent Systems by Using EUSMs | Publicación