Adaptive Cruise Control with Safety Guarantees for Autonomous Vehicles. Issue 1 (July 2017)