أرسل هذا في رسالة قصيرة: Finite-trace and generalized-reactivity specifications in temporal synthesis