Գրեք սա: Universality Analysis for One-Clock Timed Automata