On leader-based shape coordination | IEEE Conference Publication | IEEE Xplore