A modeling methodology for MAS based on AUML | IEEE Conference Publication | IEEE Xplore