أرسل هذا في رسالة قصيرة: Undecidability of universality for timed automata with minimal resources