Integrated Mission Specification and Task Allocation for Robot Teams - Design and Implementation | IEEE Conference Publication | IEEE Xplore