Commanding Multi-Robot Systems with Robot Operating System using Battle Management Language | IEEE Conference Publication | IEEE Xplore