Email Record: Intelligent Cruise Control design based on a traffic flow specification /