Symbolic models approximating possibly unstable time–delay systems with application to the artificial pancreas