A UML Heavyweight Extension for MAS Modeling | IEEE Conference Publication | IEEE Xplore