أرسل هذا في رسالة قصيرة: Universality Analysis for One-Clock Timed Automata