A set of method fragments for developing multi-agent systems assisted with model transformations | IEEE Conference Publication | IEEE Xplore