A Complete Methodology for Generating Multi-Robot Task Solutions using ASyMTRe-D and Market-Based Task Allocation | IEEE Conference Publication | IEEE Xplore