A symbolic model approach to the digital control of nonlinear time-delay systems