Text this: Timed Automata Robustness Analysis via Model Checking