Event-Triggered Controller Synthesis for Dynamical Systems with Temporal Logic Constraints