Software Development Framework for Cooperating Robots with High-level Mission Specification | IEEE Conference Publication | IEEE Xplore