A Sequential Composition Framework for Coordinating Multirobot Behaviors | IEEE Journals & Magazine | IEEE Xplore