Formal specification of multi-agent systems by using EUSMs | Publicación