Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods | Publicación