Specification and design of coordinated motions for autonomous vehicles | IEEE Conference Publication | IEEE Xplore