इसका टेक्स्ट मैसेज भेजे: Finite-trace and generalized-reactivity specifications in temporal synthesis