ASyMTRe: Automated Synthesis of Multi-Robot Task Solutions through Software Reconfiguration | IEEE Conference Publication | IEEE Xplore