Path Following by Formations of Agents with Collision Avoidance Guarantees using Distributed Model Predictive Control | IEEE Conference Publication | IEEE Xplore