SPADE 3: Supporting the New Generation of Multi-Agent Systems | IEEE Journals & Magazine | IEEE Xplore