Venkatesh G. Rao, Tichakorn Wongpiromsarn, Thientu Ho, Kimberly Chung, Raffaello D'Andrea: Encapsulated path planning for abstraction-based control of multi-vehicle systems. ACC 2006: 1-6