FORMALIZING VIRTUAL ORGANIZATIONS Topics: Agent Models and Architectures; Multi-Agent Systems In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 84-93, 2011 , Rome, Italy