Code generator system for Multi-agent systems specified using MASINA methodology | IEEE Conference Publication | IEEE Xplore