Text this: Universality Analysis for One-Clock Timed Automata