Semi-Discretization for Time-Delay Systems: Stability