Safety-Critical Control and Path Following by Formations of Agents with Control Barrier Functions using Distributed Model Predictive Control | IEEE Conference Publication | IEEE Xplore