Ouassila Labbani Éric Rutten Jean-Luc Dekeyser Safe Design Methodology for an Intelligent Cruise Control System with GPS. 1-5 2006 conf/vtc/2006f VTC Fall http://doi.ieeecomputersociety.org/10.1109/VTCF.2006.612 db/conf/vtc/vtc2006f.html#LabbaniRD06