Automata for interaction protocols in multiagent systems | IEEE Conference Publication | IEEE Xplore