A computation and control language for multi-vehicle systems | IEEE Conference Publication | IEEE Xplore