Scalable Path and Time Coordination for Robot Formation | IEEE Conference Publication | IEEE Xplore