Semi-Discretization for Time-Delay Systems