Ensuring the Safety of Cruise Control Systems in Vehicles