Behavior Tree-Based Task Planning for Multiple Mobile Robots using a Data Distribution Service | IEEE Conference Publication | IEEE Xplore