Text this: Intelligent Cruise Control design based on a traffic flow specification /