John Lygeros Nancy A. Lynch Strings of Vehicles: Modeling and Safety Conditions. 273-288 1998 conf/hybrid/1998 HSCC db/conf/hybrid/hscc98.html#LygerosL98 http://dx.doi.org/10.1007/3-540-64358-3_45