Safe Design Methodology for an Intelligent Cruise Control System with GPS | IEEE Conference Publication | IEEE Xplore