Subtraction -- Symbolic Robustness Analysis of Timed Automata -- Coping with the