Text this: Semi-discretization for time-delay systems