Effective Engineering of Multi-robot Software Applications | IEEE Conference Publication | IEEE Xplore