Akash Deshpande Datta N. Godbole Aleks Göllü Pravin Varaiya Design and Evaluation Tools for Automated Highway Systems. 138-148 1995 conf/hybrid/1995 Hybrid Systems db/conf/hybrid/hybrid95.html#DeshpandeGGV95