Abstraction of transition properties in multiagent organizations | IEEE Conference Publication | IEEE Xplore