Specification and execution of multiagent missions | IEEE Conference Publication | IEEE Xplore