Analysis and design tools for distributed motion coordination | IEEE Conference Publication | IEEE Xplore