Symbolic models for time-varying time-delay systems via alternating approximate bisimulation, (Published online on June 27th 2014, To appear)